Searched refs:acpi_pcpu_get_id (Results 1 - 1 of 1) sorted by relevance

/freebsd-11-stable/sys/dev/acpica/
H A Dacpi_cpu.c174 static int acpi_pcpu_get_id(device_t dev, uint32_t *acpi_id,
296 if (acpi_pcpu_get_id(dev, &acpi_id, &cpu_id) != 0)
554 acpi_pcpu_get_id(device_t dev, uint32_t *acpi_id, uint32_t *cpu_id) function

Completed in 118 milliseconds