EFL_IOPL_KERN      83 bsp/hal/x86/arch/context.c 		u->eflags = (uint32_t)(EFL_IF | EFL_IOPL_KERN);
EFL_IOPL_KERN     110 bsp/hal/x86/arch/context.c 		u->eflags = (uint32_t)(EFL_IF | EFL_IOPL_KERN);