ICH_VTR_SEIS_MASK   44 arch/arm64/kvm/vgic-sys-reg-v3.c 			     ICH_VTR_SEIS_MASK) >> ICH_VTR_SEIS_SHIFT);
ICH_VTR_SEIS_MASK   69 arch/arm64/kvm/vgic-sys-reg-v3.c 			ICH_VTR_SEIS_MASK) >> ICH_VTR_SEIS_SHIFT) <<