Home
last modified time | relevance | path

Searched refs:CpuInterfaceNumber (Results 1 – 4 of 4) sorted by relevance

/freebsd-14-stable/sys/arm/arm/
HDgic_acpi.c110 if (intr->CpuInterfaceNumber < GIC_MAXCPU) in madt_handler()
111 madt_data->intr[intr->CpuInterfaceNumber] = intr; in madt_handler()
/freebsd-14-stable/sys/contrib/dev/acpica/include/
HDactbl2.h1299 UINT32 CpuInterfaceNumber; member
/freebsd-14-stable/sys/contrib/dev/acpica/common/
HDdmtbinfo2.c849 {ACPI_DMT_UINT32, ACPI_MADT11_OFFSET (CpuInterfaceNumber), "CPU Interface Number", 0},
/freebsd-14-stable/usr.sbin/acpi/acpidump/
HDacpi.c560 printf("\tCPU INTERFACE=%x\n", gicc->CpuInterfaceNumber); in acpi_print_madt()