uvm_fault(0xffffffff83a83b10, 0xffff800029ee5000, 0, 1) -> e
kernel: page fault trap, code=0
Stopped at      pvclock_get+0x53:       movl    0(%r15),%r12d
    TID    PID    UID     PRFLAGS     PFLAGS  CPU  COMMAND
pvclock_get(ffffffff8395ecb0) at pvclock_get+0x53 pvclock_read_begin sys/dev/pv/pvclock.c:278 [inline]
pvclock_get(ffffffff8395ecb0) at pvclock_get+0x53 sys/dev/pv/pvclock.c:333
nanouptime(ffff8000318c38c0) at nanouptime+0x61 tc_delta sys/kern/kern_tc.c:138 [inline]
nanouptime(ffff8000318c38c0) at nanouptime+0x61 binuptime sys/kern/kern_tc.c:191 [inline]
nanouptime(ffff8000318c38c0) at nanouptime+0x61 sys/kern/kern_tc.c:217
tuagg_add_runtime() at tuagg_add_runtime+0x40 sys/kern/kern_resource.c:449
mi_switch() at mi_switch+0xb1 sys/kern/sched_bsd.c:372
ast(ffff8000318c3990) at ast+0x13d mi_ast sys/sys/syscall_mi.h:252 [inline]
ast(ffff8000318c3990) at ast+0x13d sys/arch/amd64/amd64/trap.c:747
Xsyscall() at Xsyscall+0x156
end of kernel
end trace frame: 0x9f70bb36670, count: 9
https://www.openbsd.org/ddb.html describes the minimum info required in bug
reports.  Insufficient info makes it difficult to find and fix bugs.
ddb> 
ddb> set $lines = 0
ddb> set $maxwidth = 0
ddb> show panic
*cpu0: uvm_fault(0xffffffff83a83b10, 0xffff800029ee5000, 0, 1) -> e
ddb> trace
pvclock_get(ffffffff8395ecb0) at pvclock_get+0x53 pvclock_read_begin sys/dev/pv/pvclock.c:278 [inline]
pvclock_get(ffffffff8395ecb0) at pvclock_get+0x53 sys/dev/pv/pvclock.c:333
nanouptime(ffff8000318c38c0) at nanouptime+0x61 tc_delta sys/kern/kern_tc.c:138 [inline]
nanouptime(ffff8000318c38c0) at nanouptime+0x61 binuptime sys/kern/kern_tc.c:191 [inline]
nanouptime(ffff8000318c38c0) at nanouptime+0x61 sys/kern/kern_tc.c:217
tuagg_add_runtime() at tuagg_add_runtime+0x40 sys/kern/kern_resource.c:449
mi_switch() at mi_switch+0xb1 sys/kern/sched_bsd.c:372
ast(ffff8000318c3990) at ast+0x13d mi_ast sys/sys/syscall_mi.h:252 [inline]
ast(ffff8000318c3990) at ast+0x13d sys/arch/amd64/amd64/trap.c:747
Xsyscall() at Xsyscall+0x156
end of kernel
end trace frame: 0x9f70bb36670, count: -6
ddb>