read_eflags
eflags = read_eflags();
if (!((eflags ^ read_eflags()) & PSL_ID))
eflags = read_eflags();
if (!((eflags ^ read_eflags()) & PSL_ID))
KASSERT((read_eflags() & PSL_I) == 0, ("interrupts enabled"));
KASSERT((read_eflags() & PSL_I) == 0, ("context switch possible"));
KASSERT((read_eflags() & PSL_I) != 0,
KASSERT((read_eflags() & PSL_I) == 0,
KASSERT((read_eflags() & PSL_I) != 0, ("interrupts disabled"));
eflags = read_eflags();
flags = read_eflags();