Searched refs:xen_pcpu_id (Results 1 – 3 of 3) sorted by relevance
58 int xen_pcpu_id(uint32_t acpi_id);
359 int xen_pcpu_id(uint32_t acpi_id) in xen_pcpu_id() function381 EXPORT_SYMBOL_GPL(xen_pcpu_id);
72 pr->id = xen_pcpu_id(pr->acpi_id); in xen_acpi_processor_enable()
