read_eflags
if ((read_eflags() & PSL_I) == 0)
u_int ef = read_eflags();
u_int ef = read_eflags();
ef = read_eflags();
static __inline u_int read_eflags(void);
if ((read_eflags() & PSL_I) == 0)