* Enable the CPU interface in Non-Secure world\r
* Note: The ICCICR register is banked when Security extensions are implemented\r
*/\r
- MmioWrite32 (GicInterruptInterfaceBase + ARM_GIC_ICCICR,0x00000001);\r
+ MmioWrite32 (GicInterruptInterfaceBase + ARM_GIC_ICCICR, 0x1);\r
}\r
\r
VOID\r
* Enable GIC distributor in Non-Secure world.\r
* Note: The ICDDCR register is banked when Security extensions are implemented\r
*/\r
- MmioWrite32 (GicDistributorBase + ARM_GIC_ICDDCR, 0x00000001);\r
+ MmioWrite32 (GicDistributorBase + ARM_GIC_ICDDCR, 0x1);\r
}\r