)\r
{\r
// Disable all interrupts\r
- MmioWrite32(INTCPS_MIR(0), 0xFFFFFFFF);\r
- MmioWrite32(INTCPS_MIR(1), 0xFFFFFFFF);\r
- MmioWrite32(INTCPS_MIR(2), 0xFFFFFFFF);\r
- MmioWrite32(INTCPS_CONTROL, INTCPS_CONTROL_NEWIRQAGR);\r
+ MmioWrite32 (INTCPS_MIR(0), 0xFFFFFFFF);\r
+ MmioWrite32 (INTCPS_MIR(1), 0xFFFFFFFF);\r
+ MmioWrite32 (INTCPS_MIR(2), 0xFFFFFFFF);\r
+ MmioWrite32 (INTCPS_CONTROL, INTCPS_CONTROL_NEWIRQAGR);\r
}\r
\r
/**\r
Bank = Source / 32;\r
Bit = 1UL << (Source % 32);\r
\r
- MmioWrite32(INTCPS_MIR_CLEAR(Bank), Bit);\r
+ MmioWrite32 (INTCPS_MIR_CLEAR(Bank), Bit);\r
\r
return EFI_SUCCESS;\r
}\r
Bank = Source / 32;\r
Bit = 1UL << (Source % 32);\r
\r
- MmioWrite32(INTCPS_MIR_SET(Bank), Bit);\r
+ MmioWrite32 (INTCPS_MIR_SET(Bank), Bit);\r
\r
return EFI_SUCCESS;\r
}\r
Vector = MmioRead32(INTCPS_SIR_IRQ) & INTCPS_SIR_IRQ_MASK;\r
\r
// Needed to prevent infinite nesting when Time Driver lowers TPL\r
- MmioWrite32(INTCPS_CONTROL, INTCPS_CONTROL_NEWIRQAGR);\r
+ MmioWrite32 (INTCPS_CONTROL, INTCPS_CONTROL_NEWIRQAGR);\r
\r
InterruptHandler = gRegisteredInterruptHandlers[Vector];\r
if (InterruptHandler != NULL) {\r
}\r
\r
// Needed to clear after running the handler\r
- MmioWrite32(INTCPS_CONTROL, INTCPS_CONTROL_NEWIRQAGR);\r
+ MmioWrite32 (INTCPS_CONTROL, INTCPS_CONTROL_NEWIRQAGR);\r
}\r
\r
//\r
ASSERT_PROTOCOL_ALREADY_INSTALLED (NULL, &gHardwareInterruptProtocolGuid);\r
\r
// Make sure all interrupts are disabled by default.\r
- MmioWrite32(INTCPS_MIR(0), 0xFFFFFFFF);\r
- MmioWrite32(INTCPS_MIR(1), 0xFFFFFFFF);\r
- MmioWrite32(INTCPS_MIR(2), 0xFFFFFFFF);\r
- MmioWrite32(INTCPS_CONTROL, INTCPS_CONTROL_NEWIRQAGR);\r
+ MmioWrite32 (INTCPS_MIR(0), 0xFFFFFFFF);\r
+ MmioWrite32 (INTCPS_MIR(1), 0xFFFFFFFF);\r
+ MmioWrite32 (INTCPS_MIR(2), 0xFFFFFFFF);\r
+ MmioWrite32 (INTCPS_CONTROL, INTCPS_CONTROL_NEWIRQAGR);\r
\r
Status = gBS->InstallMultipleProtocolInterfaces(&gHardwareInterruptHandle,\r
&gHardwareInterruptProtocolGuid, &gHardwareInterruptProtocol,\r