Searched refs:host_seis (Results 1 – 1 of 1) sorted by relevance
16 u32 host_pri_bits, host_id_bits, host_seis, host_a3v, seis, a3v; in set_gic_ctlr() local38 host_seis = FIELD_GET(ICH_VTR_SEIS_MASK, kvm_vgic_global_state.ich_vtr_el2); in set_gic_ctlr()40 if (host_seis != seis) in set_gic_ctlr()