Searched refs:read_eflags (Results 1 – 5 of 5) sorted by relevance
353 read_eflags(void) in read_eflags() function727 eflags = read_eflags(); in intr_disable()812 u_int read_eflags(void);
215 KASSERT((read_eflags() & PSL_I) == 0, in trap()713 KASSERT((read_eflags() & PSL_I) != 0, ("interrupts disabled")); in trap()
530 KASSERT((read_eflags() & PSL_I) != 0, in smp_targeted_tlb_shootdown()
637 KASSERT((read_eflags() & PSL_I) == 0, ("context switch possible")); in cpu_auxmsr()
476 flags = read_eflags(); in i8254_get_timecount()