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

  /src/sys/external/bsd/acpica/dist/common/
dmtbinfo2.c 848 {ACPI_DMT_UINT32, ACPI_MADT11_OFFSET (CpuInterfaceNumber), "CPU Interface Number", 0},
875 {ACPI_DMT_UINT32, ACPI_MADT11_OFFSET (CpuInterfaceNumber), "CPU Interface Number", 0},
903 {ACPI_DMT_UINT32, ACPI_MADT11_OFFSET (CpuInterfaceNumber), "CPU Interface Number", 0},
  /src/sys/external/bsd/acpica/dist/include/
actbl2.h 1635 UINT32 CpuInterfaceNumber;
  /src/usr.sbin/acpitools/acpidump/
acpi.c 1141 printf("\tCPU INTERFACE=%x\n", gicc->CpuInterfaceNumber);

Completed in 20 milliseconds