Searched refs:read_rflags (Results 1 – 5 of 5) sorted by relevance
336 read_rflags(void) in read_rflags() function782 rflags = read_rflags(); in intr_disable()855 u_long read_rflags(void);
523 flags = read_rflags(); in i8254_get_timecount()
611 KASSERT((read_rflags() & PSL_I) != 0, ("interrupts disabled")); in trap()
1091 #define read_eflags() read_rflags()
2555 KASSERT((read_rflags() & PSL_I) == 0, ("interrupts enabled")); in vmx_exit_handle_nmi()