Searched refs:host_a3v (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() local43 host_a3v = FIELD_GET(ICH_VTR_A3V_MASK, kvm_vgic_global_state.ich_vtr_el2); in set_gic_ctlr()45 if (host_a3v != a3v) in set_gic_ctlr()