read_rflags
if ((read_rflags() & PSL_I) == 0)
KASSERT((read_rflags() & PSL_I) == 0);
u_long rf = read_rflags();
ef = read_rflags();