Symbol: PSL_KERNEL
sys/amd64/amd64/vm_machdep.c
184
td2->td_md.md_saved_flags = PSL_KERNEL | PSL_I;
sys/i386/i386/machdep.c
1662
dblfault_tss->tss_eflags = PSL_KERNEL;
sys/i386/i386/vm_machdep.c
198
td2->td_md.md_saved_flags = PSL_KERNEL | PSL_I;