apic_get_ipivect
static int apic_get_ipivect(int ipl, int type);
apic_get_ipivect,
apic_pir_vect = apic_get_ipivect(XC_CPUPOKE_PIL, -1);
int irq = apic_get_ipivect(ipl, -1);
int irq = apic_get_ipivect(ipl, -1);
int irq = apic_get_ipivect(ipl, -1);
if ((irq = apic_get_ipivect(ipl, -1)) == -1)