Searched refs:num_id_bits (Results 1 – 3 of 3) sorted by relevance
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()69 val |= FIELD_PREP(ICC_CTLR_EL1_ID_BITS_MASK, vgic_v3_cpu->num_id_bits); in get_gic_ctlr()
384 u32 num_id_bits; member
496 vcpu->arch.vgic_cpu.num_id_bits = FIELD_GET(ICH_VTR_EL2_IDbits, in vgic_v3_reset()