Home
last modified time | relevance | path

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

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