4KB Granule support test is wrong

[hrw]

On QEMU with 'max' we have interesting bug:

   4 : Check PE 4KB Granule Support
       Failed on PE -    0
       Checkpoint --  1                           : Result:  FAIL

Test checks TGran4 bits [31:28] in ID_AA64MMFR0_EL1 for value 0 (which means "4KB granule supported").

We have 0x0001 there which means "4KB granule supports 52-bit input and output addresses" (Arm arm).

[chetan-rathore]

Hi @hrw,

Thanks for raising this. The test will need an update to take into FEAT_LPA2 implementation by PE.

Thanks, ACS team

[chetan-rathore]

Hi @hrw,

Changes for the issue are merged.

Thanks, ACS team

[hrw]

   4 : Check PE 4KB Granule Support               : Result:  PASS