Symbol: xen_processor_present
drivers/xen/pcpu.c
391
bool __init xen_processor_present(uint32_t acpi_id)
include/xen/xen.h
96
static inline bool xen_processor_present(uint32_t acpi_id)