Index: sys/dev/pv/pvclock.c
===================================================================
RCS file: /mount/openbsd/cvs/src/sys/dev/pv/pvclock.c,v
diff -u -p -u -p -r1.11 pvclock.c
--- sys/dev/pv/pvclock.c	24 May 2024 10:05:55 -0000	1.11
+++ sys/dev/pv/pvclock.c	31 Mar 2025 12:15:38 -0000
@@ -31,6 +31,10 @@
 #include <dev/pv/pvvar.h>
 #include <dev/pv/pvreg.h>
 
+#ifndef PMAP_NOCRYPT
+#define	PMAP_NOCRYPT	0
+#endif
+
 uint pvclock_lastcount;
 
 struct pvclock_softc {
@@ -123,17 +127,19 @@ pvclock_attach(struct device *parent, st
 	paddr_t			 	 pa;
 	uint32_t			 version;
 	uint8_t				 flags;
+	struct vm_page			*page;
 
-	if ((sc->sc_time = km_alloc(PAGE_SIZE,
-	    &kv_any, &kp_zero, &kd_nowait)) == NULL) {
-		printf(": time page allocation failed\n");
-		return;
-	}
-	if (!pmap_extract(pmap_kernel(), (vaddr_t)sc->sc_time, &pa)) {
-		printf(": time page PA extraction failed\n");
-		km_free(sc->sc_time, PAGE_SIZE, &kv_any, &kp_zero);
-		return;
-	}
+	page = uvm_pagealloc(NULL, 0, NULL, 0);
+	if (page == NULL)
+		goto err;
+	sc->sc_time = km_alloc(PAGE_SIZE, &kv_any, &kp_none, &kd_nowait);
+	if (sc->sc_time == NULL)
+		goto err;
+
+	pa = page->phys_addr;
+	pmap_kenter_pa((vaddr_t)sc->sc_time, pa | PMAP_NOCRYPT,
+		PROT_READ | PROT_WRITE);
+	memset(sc->sc_time, 0, PAGE_SIZE);
 
 	wrmsr(KVM_MSR_SYSTEM_TIME, pa | PVCLOCK_SYSTEM_TIME_ENABLE);
 	sc->sc_paddr = pa;
@@ -163,6 +169,11 @@ pvclock_attach(struct device *parent, st
 	tc_init(sc->sc_tc);
 
 	printf("\n");
+	return;
+err:
+	if (page)
+		uvm_pagefree(page);
+	printf(": time page allocation failed\n");
 }
 
 int