/* DXE Core will disable interrupts and turn off the timer and disable interrupts after all the event handlers have run. */
VOID EFIAPI GicV3ExitBootServicesEvent(IN EFI_EVENT Event, IN VOID *Context)
/* DXE Core will disable interrupts and turn off the timer and disable interrupts after all the event handlers have run. */
VOID EFIAPI GicV3ExitBootServicesEvent(IN EFI_EVENT Event, IN VOID *Context)
{
  UINTN  Index;
  for (Index = 0; Index < mGicNumInterrupts; Index++) {
    GicV3DisableInterruptSource (&gHardwareInterruptV3Protocol, Index);
  }
  ArmGicV3DisableInterruptInterface ();
  ArmGicDisableDistributor (mGicDistributorBase);
}