Searched refs:EFI_ACPI_RESERVED_DWORD (Results 1 – 5 of 5) sorted by relevance
71 // EFI_ACPI_RESERVED_DWORD, // Reserved79 EFI_ACPI_RESERVED_DWORD, // Reserved
93 #define EFI_ACPI_RESERVED_DWORD 0x00000000 macro
90 #define EFI_ACPI_RESERVED_DWORD 0x00000000 macro
38 GicDistHwId, GicDistBase, GicDistVector, EFI_ACPI_RESERVED_DWORD \
305 #define EFI_ACPI_RESERVED_DWORD 0x00000000 macro