KERNELMODE
printf(" in %s mode\n", KERNELMODE(frame->tf_cs, frame->tf_rflags) ?
KASSERT(!KERNELMODE(frame->tf_cs, frame->tf_rflags));
if (KERNELMODE(regs->tf_cs, regs->tf_eflags)) {
if (!KERNELMODE(regs->tf_cs, regs->tf_eflags)) {
if (KERNELMODE(tf->tf_cs, tf->tf_eflags))
if (!KERNELMODE(frame->tf_cs, frame->tf_eflags)) {
if (KERNELMODE(vframe->tf_cs, vframe->tf_eflags))
KASSERT(!KERNELMODE(frame->tf_cs, frame->tf_eflags));
#define CLKF_USERMODE(cf) (!KERNELMODE((cf)->ssr))
int usermode = !KERNELMODE(tf->tf_ssr);
usermode = !KERNELMODE(tf->tf_ssr);
if (KERNELMODE(tf->tf_ssr))