Searched refs:read_rflags (Results 1 – 7 of 7) sorted by relevance
246 KASSERT((read_rflags() & PSL_I) == 0, ("context switch possible")); in cpu_auxmsr()
614 KASSERT((read_rflags() & PSL_I) != 0, ("interrupts disabled")); in trap()
689 KASSERT((read_rflags() & PSL_I) != 0, in smp_targeted_tlb_shootdown()
9600 KASSERT((read_rflags() & PSL_I) == 0, in pmap_activate_sw_pcid_pti()9637 KASSERT((read_rflags() & PSL_I) == 0, in pmap_activate_sw_pcid_nopti()
314 read_rflags(void) in read_rflags() function840 rflags = read_rflags(); in intr_disable()1002 u_long read_rflags(void);
474 flags = read_rflags(); in i8254_get_timecount()
2861 KASSERT((read_rflags() & PSL_I) == 0, ("interrupts enabled")); in vmx_exit_handle_nmi()2901 rflags = read_rflags(); in vmx_dr_enter_guest()2942 write_rflags(read_rflags() | vmxctx->host_tf); in vmx_dr_leave_guest()