interrupts_enabled
ASSERT(!interrupts_enabled());
((_cpuid) == psm_get_cpu_id() && !interrupts_enabled())
ASSERT(!interrupts_enabled());
ASSERT(!interrupts_enabled());
ASSERT(!interrupts_enabled());
ASSERT(!interrupts_enabled());
ASSERT(!interrupts_enabled());
ASSERT(!interrupts_enabled());
ASSERT(!interrupts_unleashed || interrupts_enabled());
if (!interrupts_enabled()) {
ASSERT(!interrupts_enabled());
ASSERT(!interrupts_enabled());
ASSERT(!interrupts_enabled());
ASSERT(interrupts_enabled());
ASSERT(!interrupts_enabled());
ASSERT(!interrupts_enabled());
ASSERT(!interrupts_enabled());
ASSERT(!interrupts_enabled());
ASSERT(!interrupts_enabled());
ASSERT(!interrupts_enabled());
ASSERT(!interrupts_enabled());
extern int interrupts_enabled(void);