GicId, AcpiCpuId, Flags, 0, PmuIrq, 0, GicBase \\r
}\r
\r
+// Note the parking protocol is configured by UEFI if required\r
+#define EFI_ACPI_5_1_GICC_STRUCTURE_INIT(GicId, AcpiCpuUid, Mpidr, Flags, PmuIrq, \\r
+ GicBase, GicVBase, GicHBase, GsivId, GicRBase) \\r
+ { \\r
+ EFI_ACPI_5_1_GIC, sizeof (EFI_ACPI_5_1_GIC_STRUCTURE), EFI_ACPI_RESERVED_WORD, \\r
+ GicId, AcpiCpuUid, Flags, 0, PmuIrq, 0, GicBase, GicVBase, GicHBase, \\r
+ GsivId, GicRBase, Mpidr \\r
+ }\r
+\r
+//\r
+// SBSA Generic Watchdog\r
+//\r
+#define EFI_ACPI_5_1_SBSA_GENERIC_WATCHDOG_STRUCTURE_INIT(RefreshFramePhysicalAddress, \\r
+ ControlFramePhysicalAddress, WatchdogTimerGSIV, WatchdogTimerFlags) \\r
+ { \\r
+ EFI_ACPI_5_1_GTDT_SBSA_GENERIC_WATCHDOG, sizeof(EFI_ACPI_5_1_GTDT_SBSA_GENERIC_WATCHDOG_STRUCTURE), \\r
+ EFI_ACPI_RESERVED_WORD, RefreshFramePhysicalAddress, ControlFramePhysicalAddress, \\r
+ WatchdogTimerGSIV, WatchdogTimerFlags \\r
+ }\r
\r
/**\r
Locate and Install the ACPI tables from the Firmware Volume\r