vkernel_trap
vkernel_trap(lp, tf);
vkernel_trap(lp, tf);
vkernel_trap(lp, frame);
vkernel_trap(lp, frame);
vkernel_trap(lp, frame);
vkernel_trap(lp, frame);
void vkernel_trap(struct lwp *lp, struct trapframe *frame);