xen_acpi_get_pxm  187 drivers/xen/xen-acpi-cpuhotplug.c 	pxm = xen_acpi_get_pxm(pr->handle);
xen_acpi_get_pxm   68 drivers/xen/xen-acpi-memhotplug.c 	pxm = xen_acpi_get_pxm(mem_device->device->handle);