ICH_VTR_A3V_MASK   51 arch/arm64/kvm/vgic-sys-reg-v3.c 			    ICH_VTR_A3V_MASK) >> ICH_VTR_A3V_SHIFT);
ICH_VTR_A3V_MASK   72 arch/arm64/kvm/vgic-sys-reg-v3.c 			ICH_VTR_A3V_MASK) >> ICH_VTR_A3V_SHIFT) <<