break;\r
\r
case 2:\r
- ASSERT (RegSize == 32);\r
+ //\r
+ // When the GICv2 is emulated with virtualization=on, it adds a virtual\r
+ // set of control registers. This means the register property can be\r
+ // either 32 or 64 bytes in size.\r
+ //\r
+ ASSERT ((RegSize == 32) || (RegSize == 64));\r
\r
DistBase = SwapBytes64 (Reg[0]);\r
CpuBase = SwapBytes64 (Reg[2]);\r