Searched defs:cpu_acpi_id (Results 1 – 2 of 2) sorted by relevance
| /freebsd-src/sys/dev/xen/cpu/ | ||
| H A D | xen_acpi_cpu.c | 67 uint32_t cpu_acpi_id; member |
| /freebsd-src/sys/dev/acpica/ | ||
| H A D | acpi_cpu.c | 84 uint32_t cpu_acpi_id; /* ACPI processor id */ member |