Hi, This series contains some cleanups, VPROPBASER field programming fix and level2 vPE table allocation enhancement, collected while looking through the GICv4.1 driver one more time. Hope they will help, thanks! v1 -> v2: - Take into account Marc's comments on patch#3 - Add one more patch to rename V{PEND,PROP}BASER accessors Zenghui Yu (6): irqchip/gic-v4.1: Fix programming of GICR_VPROPBASER_4_1_SIZE irqchip/gic-v4.1: Set vpe_l1_base for all redistributors irqchip/gic-v4.1: Ensure L2 vPE table is allocated at RD level irqchip/gic-v4.1: Drop 'tmp' in inherit_vpe_l1_table_from_rd() irqchip/gic-v3-its: Remove superfluous WARN_ON irqchip/gic-v3-its: Rename VPENDBASER/VPROPBASER accessors arch/arm/include/asm/arch_gicv3.h | 12 +-- arch/arm64/include/asm/arch_gicv3.h | 8 +- drivers/irqchip/irq-gic-v3-its.c | 118 +++++++++++++++++++++++----- include/linux/irqchip/arm-gic-v3.h | 2 +- 4 files changed, 110 insertions(+), 30 deletions(-) -- 2.19.1 _______________________________________________ kvmarm mailing list kvmarm@xxxxxxxxxxxxxxxxxxxxx https://lists.cs.columbia.edu/mailman/listinfo/kvmarm