IMSIC_MMIO_PAGE_SHIFT
IMSIC_MMIO_PAGE_SHIFT - 1;
return (addr & ~mask) >> IMSIC_MMIO_PAGE_SHIFT;
hart = (addr >> (aia->nr_guest_bits + IMSIC_MMIO_PAGE_SHIFT)) &
tppn = target >> IMSIC_MMIO_PAGE_SHIFT;
IMSIC_MMIO_PAGE_SHIFT;
global->group_index_shift = IMSIC_MMIO_PAGE_SHIFT * 2;
i = BITS_PER_LONG - IMSIC_MMIO_PAGE_SHIFT;
i = BITS_PER_LONG - IMSIC_MMIO_PAGE_SHIFT - global->guest_index_bits;
i = BITS_PER_LONG - IMSIC_MMIO_PAGE_SHIFT -
IMSIC_MMIO_PAGE_SHIFT) - 1);
IMSIC_MMIO_PAGE_SHIFT) - 1);
#define IMSIC_MMIO_PAGE_SZ BIT(IMSIC_MMIO_PAGE_SHIFT)