Searched refs:vgic_v3_cpu (Results 1 – 1 of 1) sorted by relevance
17 struct vgic_cpu *vgic_v3_cpu = &vcpu->arch.vgic_cpu; in set_gic_ctlr() local27 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()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()62 struct vgic_cpu *vgic_v3_cpu = &vcpu->arch.vgic_cpu; in get_gic_ctlr() local68 val |= FIELD_PREP(ICC_CTLR_EL1_PRI_BITS_MASK, vgic_v3_cpu->num_pri_bits - 1); in get_gic_ctlr()69 val |= FIELD_PREP(ICC_CTLR_EL1_ID_BITS_MASK, vgic_v3_cpu->num_id_bits); in get_gic_ctlr()