Symbol: cpu_vkernel_trap
sys/platform/pc64/x86_64/trap.c
1540
cpu_vkernel_trap(struct trapframe *frame, int error)
sys/platform/vkernel64/x86_64/trap.c
1470
cpu_vkernel_trap(struct trapframe *frame, int error)