HomeSort by: relevance | last modified time | path
    Searched refs:GicId (Results 1 - 3 of 3) sorted by relevancy

  /src/sys/external/bsd/acpica/dist/common/
dmtbinfo2.c 892 {ACPI_DMT_UINT32, ACPI_MADT12_OFFSET (GicId), "Local GIC Hardware ID", 0},
  /src/sys/external/bsd/acpica/dist/include/
actbl2.h 1713 UINT32 GicId;
  /src/usr.sbin/acpitools/acpidump/
acpi.c 1158 printf("\tGIC ID=%d\n", (u_int)gicd->GicId);

Completed in 25 milliseconds