acpi_pcpu_get_id
static int acpi_pcpu_get_id(device_t dev, uint32_t acpi_id,
if (acpi_pcpu_get_id(dev, acpi_id, &cpu_id) != 0) {