Searched refs:host_id_bits (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() local32 host_id_bits = FIELD_GET(ICC_CTLR_EL1_ID_BITS_MASK, val); in set_gic_ctlr()33 if (host_id_bits > vgic_v3_cpu->num_id_bits) in set_gic_ctlr()36 vgic_v3_cpu->num_id_bits = host_id_bits; in set_gic_ctlr()