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