(+ Henry)
Hi Xenia,
On 19/10/2022 15:49, Xenia Ragiadakou wrote:
Currently, the fields 'root_order' and 'sl0' of the pa_range_info for
the 52-bit pa range have the values 3 and 3, respectively.
This configuration does not match any of the valid root table configurations
for 4KB granule and t0sz 12, described in ARM DDI 0487I.a D8.2.7.
More specifically, according to ARM DDI 0487I.a D8.2.7, in order to support
the 52-bit pa size with 4KB granule, the p2m root table needs to be configured
either as a single table at level -1 or as 16 concatenated tables at level 0.
Since, currently there is not support for level -1, set the 'root_order' an
Typo: s/not/no/ (I can fix it while committing)
'sl0' fields of the 52-bit pa_range_info according to the second approach.
Note that the values of those fields are not used so far. This patch updates
their values only for the sake of correctness.
Fixes: 407b13a71e32 ("xen/arm: p2m don't fall over on FEAT_LPA enabled hw")
Signed-off-by: Xenia Ragiadakou <burzalod...@gmail.com>
Reviewed-by: Julien Grall <jgr...@amazon.com>
Regarding 4.17, I am a bit split whether this should be included. On one
hand, it would be good to have the value correct (not that I expect
anymore to try using 52-bit on 4.17...). On the other hand, this is not
used so there is no bug (this could also be an argument to add it
because it is nearly risk free).
If we don't include it, I will definitely add in my list of potential
backports.
Henry, any thoughts?
Cheers,
--
Julien Grall
