Searched refs:num_id_bits (Results 1 – 3 of 3) sorted by relevance
38 if (host_id_bits > vgic_v3_cpu->num_id_bits) in access_gic_ctlr()41 vgic_v3_cpu->num_id_bits = host_id_bits; in access_gic_ctlr()67 val |= vgic_v3_cpu->num_id_bits << ICC_CTLR_EL1_ID_BITS_SHIFT; in access_gic_ctlr()
355 u32 num_id_bits; member
285 vcpu->arch.vgic_cpu.num_id_bits = (kvm_vgic_global_state.ich_vtr_el2 & in vgic_v3_enable()
Completed in 8 milliseconds