xen_stub_processor_exit  412 drivers/xen/xen-acpi-cpuhotplug.c 	xen_stub_processor_exit();
xen_stub_processor_exit   88 drivers/xen/xen-stub.c EXPORT_SYMBOL_GPL(xen_stub_processor_exit);
xen_stub_processor_exit   55 include/xen/acpi.h void xen_stub_processor_exit(void);