Symbol: acpi_pcpu_get_id
sys/dev/acpica/acpi_cpu.c
167
static int acpi_pcpu_get_id(device_t dev, uint32_t acpi_id,
sys/dev/acpica/acpi_cpu.c
289
if (acpi_pcpu_get_id(dev, acpi_id, &cpu_id) != 0) {