XC_CPUPOKE_PIL
if (rec->ttr_ipl == XC_CPUPOKE_PIL)
if (rec->ttr_ipl == XC_CPUPOKE_PIL)
} else if (irq_ipl(i) == XC_CPUPOKE_PIL) {
apic_pir_vect = apix_get_ipivect(XC_CPUPOKE_PIL, -1);
smt_intr_alloc_pil(XC_CPUPOKE_PIL);
apic_pir_vect = apic_get_ipivect(XC_CPUPOKE_PIL, -1);
send_dirint(cpun, XC_CPUPOKE_PIL);
(void) (*pops->psm_get_ipivect)(XC_CPUPOKE_PIL, PSM_INTR_POKE);
ttp->ttr_ipl = XC_CPUPOKE_PIL;
#define IRQ_IS_CPUPOKE(irq) (ipi_info[XC_CPUPOKE_PIL].mi_irq == (irq))
ec_try_ipi(XC_CPUPOKE_PIL, c);
ec_wait_on_ipi(XC_CPUPOKE_PIL, check_slave, NULL);
static uint_t empty_pil = XC_CPUPOKE_PIL;