Searched refs:CpuInterfaceNumber (Results 1 – 4 of 4) sorted by relevance
| /freebsd/sys/arm/arm/ |
| H A D | gic_acpi.c | 109 if (intr->CpuInterfaceNumber < GIC_MAXCPU) in madt_handler()
110 madt_data->intr[intr->CpuInterfaceNumber] = intr; in madt_handler()
|
| /freebsd/sys/contrib/dev/acpica/common/ |
| H A D | dmtbinfo2.c | 916 {ACPI_DMT_UINT32, ACPI_MADT11_OFFSET (CpuInterfaceNumber), "CPU Interface Number", 0},
943 {ACPI_DMT_UINT32, ACPI_MADT11_OFFSET (CpuInterfaceNumber), "CPU Interface Number", 0},
971 {ACPI_DMT_UINT32, ACPI_MADT11_OFFSET (CpuInterfaceNumber), "CPU Interface Number", 0},
|
| /freebsd/sys/contrib/dev/acpica/include/ |
| H A D | actbl2.h | 1786 UINT32 CpuInterfaceNumber; member
|
| /freebsd/usr.sbin/acpi/acpidump/ |
| H A D | acpi.c | 560 printf("\tCPU INTERFACE=%x\n", gicc->CpuInterfaceNumber); in acpi_print_madt()
|