\r
// RegProp[0..1] == { GICD base, GICD size }\r
DistBase = SwapBytes64 (Reg[0]);\r
- ASSERT (DistBase < MAX_UINT32);\r
+ ASSERT (DistBase < MAX_UINTN);\r
\r
// RegProp[2..3] == { GICR base, GICR size }\r
RedistBase = SwapBytes64 (Reg[2]);\r
- ASSERT (RedistBase < MAX_UINT32);\r
+ ASSERT (RedistBase < MAX_UINTN);\r
\r
PcdSet64 (PcdGicDistributorBase, DistBase);\r
PcdSet64 (PcdGicRedistributorsBase, RedistBase);\r
\r
DistBase = SwapBytes64 (Reg[0]);\r
CpuBase = SwapBytes64 (Reg[2]);\r
- ASSERT (DistBase < MAX_UINT32);\r
- ASSERT (CpuBase < MAX_UINT32);\r
+ ASSERT (DistBase < MAX_UINTN);\r
+ ASSERT (CpuBase < MAX_UINTN);\r
\r
PcdSet64 (PcdGicDistributorBase, DistBase);\r
PcdSet64 (PcdGicInterruptInterfaceBase, CpuBase);\r