Symbol: acpi_cpu_get_id
sys/dev/acpica/acpi_cpu.c
146
if (acpi_cpu_get_id(device_get_unit(dev), &acpi_id, &cpu_id) != 0)
sys/dev/acpica/acpi_cpu.c
60
static int acpi_cpu_get_id(uint32_t, uint32_t *, uint32_t *);