Home
last modified time | relevance | path

Searched refs:GicId (Results 1 – 6 of 6) sorted by relevance

/freebsd/sys/contrib/edk2/Include/IndustryStandard/
H A DAcpi50.h605 UINT32 GicId; member
627 UINT32 GicId; member
H A DAcpi51.h525 UINT32 GicId; member
H A DAcpi60.h528 UINT32 GicId; member
/freebsd/sys/contrib/dev/acpica/include/
H A Dactbl2.h1435 UINT32 GicId; member
/freebsd/sys/contrib/dev/acpica/common/
H A Ddmtbinfo2.c932 {ACPI_DMT_UINT32, ACPI_MADT12_OFFSET (GicId), "Local GIC Hardware ID", 0},
/freebsd/usr.sbin/acpi/acpidump/
H A Dacpi.c578 printf("\tGIC ID=%d\n", (u_int)gicd->GicId); in acpi_print_madt()