66a67,69
> gicdPIDR(p->gicd_pidr),
> gicdIIDR(p->gicd_iidr),
> giccIIDR(p->gicc_iidr),
271c274
< return (GICD_400_PIDR_VALUE & 0xFF);
---
> return (gicdPIDR & 0xFF);
273c276
< return ((GICD_400_PIDR_VALUE >> 8) & 0xFF);
---
> return ((gicdPIDR >> 8) & 0xFF);
275c278
< return ((GICD_400_PIDR_VALUE >> 16) & 0xFF);
---
> return ((gicdPIDR >> 16) & 0xFF);
277c280
< return ((GICD_400_PIDR_VALUE >> 24) & 0xFF);
---
> return ((gicdPIDR >> 24) & 0xFF);
280c283
< return GICD_400_IIDR_VALUE;
---
> return gicdIIDR;
310c313
< return GICC_400_IIDR_VALUE;
---
> return giccIIDR;