307 xen_psm_send_ipi(int cpun, int ipl)  in xen_psm_send_ipi()  argument
311 	ec_send_ipi(ipl, cpun);  in xen_psm_send_ipi()
317 xen_psm_addspl(int irqno, int ipl, int min_ipl, int max_ipl)  in xen_psm_addspl()  argument
331 		ret = apic_addspl_common(irqno, ipl, min_ipl, max_ipl);  in xen_psm_addspl()
336 		ret = ec_set_irq_priority(irqno, ipl);  in xen_psm_addspl()
373 xen_psm_delspl(int irqno, int ipl, int min_ipl, int max_ipl)  in xen_psm_delspl()  argument
388 		err = apic_delspl_common(irqno, ipl, min_ipl, max_ipl);  in xen_psm_delspl()
459 xen_psm_get_ipivect(int ipl, int type)  in xen_psm_get_ipivect()  argument
461 	return (ec_bind_ipi_to_irq(ipl, 0));  in xen_psm_get_ipivect()
466 xen_psm_get_clockirq(int ipl)  in xen_psm_get_clockirq()  argument
526 xen_psm_intr_enter(int ipl, int *vector)  in xen_psm_intr_enter()  argument
578 xen_psm_intr_exit(int ipl, int vector)  in xen_psm_intr_exit()  argument
581 	xen_psm_setspl(ipl);  in xen_psm_intr_exit()
594 xen_psm_setspl(int ipl)  in xen_psm_setspl()  argument
606 	pending = cpu->cpu_m.mcpu_intr_pending & ~((1 << (ipl + 1)) - 1);  in xen_psm_setspl()
613 		for (i = bsrw_insn(pending); i > ipl; i--)  in xen_psm_setspl()
947 apic_allocate_vector(int ipl, int irq, int pri)  in apic_allocate_vector()  argument