The initial pagetables for hw_x86_64_muen specify an identity mapping from 2MiB to 1GiB plus mappings for the paravirt pages (sinfo, timer, ...).