xen_stub_memory_device_exit  422 drivers/xen/xen-acpi-memhotplug.c 	xen_stub_memory_device_exit();
xen_stub_memory_device_exit   53 drivers/xen/xen-stub.c EXPORT_SYMBOL_GPL(xen_stub_memory_device_exit);
xen_stub_memory_device_exit   48 include/xen/acpi.h void xen_stub_memory_device_exit(void);