IMSIC_MMIO_PAGE_SZ
*hgei_va = lc->msi_va + (ret * IMSIC_MMIO_PAGE_SZ);
*hgei_pa = lc->msi_pa + (ret * IMSIC_MMIO_PAGE_SZ);
toff = target & (IMSIC_MMIO_PAGE_SZ - 1);
IMSIC_MMIO_PAGE_SZ);
new_vsfile_pa, IMSIC_MMIO_PAGE_SZ,
*out_msi_pa = local->msi_pa + (guest_index * IMSIC_MMIO_PAGE_SZ);
IMSIC_MMIO_PAGE_SZ;
BIT(global->guest_index_bits) * IMSIC_MMIO_PAGE_SZ);
nr_guest_files = (resource_size(&mmios[index]) - reloff) / IMSIC_MMIO_PAGE_SZ - 1;