Symbol: xen_processor_present
drivers/acpi/acpi_processor.c
565
return xen_processor_present(acpi_id);
include/xen/xen.h
93
bool __init xen_processor_present(uint32_t acpi_id);