// Make sure the Interrupt Controller Protocol is not already installed in the system.\r
ASSERT_PROTOCOL_ALREADY_INSTALLED (NULL, &gHardwareInterruptProtocolGuid);\r
\r
- mGicDistributorBase = PcdGet32 (PcdGicDistributorBase);\r
- mGicRedistributorsBase = PcdGet32 (PcdGicRedistributorsBase);\r
+ mGicDistributorBase = PcdGet64 (PcdGicDistributorBase);\r
+ mGicRedistributorsBase = PcdGet64 (PcdGicRedistributorsBase);\r
mGicNumInterrupts = ArmGicGetMaxNumInterrupts (mGicDistributorBase);\r
\r
//\r