6 #include <asm/apic.h>
16 static unsigned int xen_io_apic_read(unsigned apic, unsigned reg)  in xen_io_apic_read()  argument
21 	apic_op.apic_physbase = mpc_ioapic_addr(apic);  in xen_io_apic_read()
31 		return apic << 24;  in xen_io_apic_read()
56 	/* Shouldn't need this as APIC is turned off for PV, and we only  in xen_apic_read()
144 static struct apic xen_pv_apic = {
194 	if (apic == &xen_pv_apic)  in xen_apic_check()
197 	pr_info("Switched APIC routing from %s to %s.\n", apic->name,  in xen_apic_check()
199 	apic = &xen_pv_apic;  in xen_apic_check()
204 	/* On PV guests the APIC CPUID bit is disabled so none of the  in xen_init_apic()
207 		apic = &xen_pv_apic;  in xen_init_apic()