writable ID_AA64MMFR0_EL1.TGRAN*_2 ?

[Sebastian Ott]

Hi,

I'm looking into the possibility of migrating between 2 (Graviton) hosts
and the only ID register diffs that are not yet writable are TGRAN*_2.
Both hosts support the same sizes for S2 but express that differently
(2==supported vs 0=="look at TGRAN*").

One idea would be to either set the guest view for these to NI (for the
"normal" / not nested guest) or allow to convert between the 2 values
(and maybe also allow to write NI for good measure).

What do you think?

Sebastian