Searched defs:acpi_id (Results 1 - 3 of 3) sorted by relevance
/freebsd-11-stable/sys/x86/acpica/ | ||
H A D | madt.c | 304 madt_add_cpu(u_int acpi_id, u_int apic_id, u_int flags) argument 431 madt_find_cpu(u_int acpi_id, u_int *apic_id) argument 610 madt_handle_local_nmi(u_int acpi_id, UINT8 Lint, UINT16 IntiFlags) argument [all...] |
/freebsd-11-stable/sys/dev/acpica/ | ||
H A D | acpi_cpu.c | 242 int acpi_id, cpu_id; local 554 acpi_pcpu_get_id(device_t dev, uint32_t *acpi_id, uint32_t *cpu_id) argument [all...] |
/freebsd-11-stable/sys/xen/interface/ | ||
H A D | platform.h | 490 uint32_t acpi_id; member in struct:xenpf_pcpuinfo 523 uint32_t acpi_id; member in struct:xenpf_cpu_hotadd |
Completed in 165 milliseconds