Searched refs:read_rflags (Results 1 – 6 of 6) sorted by relevance
352 read_rflags(void) in read_rflags() function869 rflags = read_rflags(); in intr_disable()1031 u_long read_rflags(void);
411 KASSERT((read_rflags() & PSL_I) == 0, ("interrupts enabled"));
493 flags = read_rflags(); in i8254_get_timecount()
661 KASSERT((read_rflags() & PSL_I) != 0, ("interrupts disabled")); in trap()
2744 KASSERT((read_rflags() & PSL_I) == 0, ("interrupts enabled")); in vmx_exit_handle_nmi()2784 rflags = read_rflags(); in vmx_dr_enter_guest()2825 write_rflags(read_rflags() | vmxctx->host_tf); in vmx_dr_leave_guest()
1600 #define read_eflags() read_rflags()