Searched refs:acpi_get_processor_id (Results 1 – 4 of 4) sorted by relevance
69 unsigned int acpi_get_processor_id(unsigned int cpu) in acpi_get_processor_id() function
67 unsigned int acpi_get_processor_id (unsigned int cpu);
576 g_info->acpi_id = acpi_get_processor_id(g_info->xen_cpuid); in do_platform_op()
1226 ((uint64_t)acpi_get_processor_id(v->vcpu_id) << 32); in arch_do_vcpu_op()
Completed in 8 milliseconds