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)