On Mon, 30 Jun 2025, Stefano Stabellini wrote: > I added some debug messages (see > attached stefano-debug.patch). Something seems to be wrong with the > pdx_group_valid bitmap after 0x880000, as we start getting MFN ranges > such as 0x254c0000-0x25500000 which don't make any sense to me.
>From what I can see the first time setup_directmap_mappings is called with base_mfn=50000000, __mfn_to_virt goes wrong and triggers the ASSERT in maddr_to_virt.
