Hi Michal, > And actually, this could be calculated > in init_pdx() next to max_page to avoid requiring each arch (arm32, arm64, > mpu) > to set it exactly the same.
I have not implemented this in this series, as it seems like an unrelated change that should go separately. However if you prefer I can re-spin with this change also? Cheers, Hari
