462a463
> Bitfield<6> t2e;
483a485,486
> Bitfield<41> hpd0;
> Bitfield<42> hpd1;
507a511,514
> Bitfield<39> ha;
> Bitfield<40> hd;
> Bitfield<41> hpd0;
> Bitfield<42> hpd1;
514a522
> Bitfield<24> hpd;
526a535,536
> Bitfield<21> ha; // Only defined for VTCR_EL2
> Bitfield<22> hd; // Only defined for VTCR_EL2