Searched refs:host_pri_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() local26 host_pri_bits = FIELD_GET(ICC_CTLR_EL1_PRI_BITS_MASK, val) + 1; in set_gic_ctlr()27 if (host_pri_bits > vgic_v3_cpu->num_pri_bits) in set_gic_ctlr()30 vgic_v3_cpu->num_pri_bits = host_pri_bits; in set_gic_ctlr()