seis               16 arch/arm64/kvm/vgic-sys-reg-v3.c 	u32 host_pri_bits, host_id_bits, host_seis, host_a3v, seis, a3v;
seis               45 arch/arm64/kvm/vgic-sys-reg-v3.c 		seis = (val & ICC_CTLR_EL1_SEIS_MASK) >>
seis               47 arch/arm64/kvm/vgic-sys-reg-v3.c 		if (host_seis != seis)