Searched refs:GicDistBase (Results 1 – 1 of 1) sorted by relevance
35 #define EFI_ACPI_5_0_GIC_DISTRIBUTOR_INIT(GicDistHwId, GicDistBase, GicDistVector) \ argument38 GicDistHwId, GicDistBase, GicDistVector, EFI_ACPI_RESERVED_DWORD \