Both structures are allocated once per mmu_idx.
There is no reason for them to be separate.
Reviewed-by: NAlistair Francis <alistair.francis@wdc.com>
Reviewed-by: NAlex Bennée <alex.bennee@linaro.org>
Signed-off-by: NRichard Henderson <richard.henderson@linaro.org>