INTR_PENDING
#define INTR_PENDING (uint32_t)(CSR_COMPLETION_INTR)
if (INTR_PENDING(apixs[cpu->cpu_id], newipl)) {
!INTR_PENDING((volatile apix_impl_t *)apixs[cpuid], ipl)))