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()
362 u32 num_id_bits; member
286 vcpu->arch.vgic_cpu.num_id_bits = (kvm_vgic_global_state.ich_vtr_el2 & in vgic_v3_enable()