Lines Matching refs:vcpu
279 int vcpu = cpu + GIC_NCPU; in gic_compute_misr() local
308 (s->cpu_ctlr[vcpu] & GICC_CTLR_EN_GRP0)) { in gic_compute_misr()
314 !(s->cpu_ctlr[vcpu] & GICC_CTLR_EN_GRP0)) { in gic_compute_misr()
320 (s->cpu_ctlr[vcpu] & GICC_CTLR_EN_GRP1)) { in gic_compute_misr()
326 !(s->cpu_ctlr[vcpu] & GICC_CTLR_EN_GRP1)) { in gic_compute_misr()
1892 int vcpu = gic_get_current_vcpu(s); in gic_vmcr_write() local
1903 gic_set_cpu_control(s, vcpu, ctlr, attrs); in gic_vmcr_write()
1904 s->abpr[vcpu] = MAX(abpr, GIC_VIRT_MIN_ABPR); in gic_vmcr_write()
1905 s->bpr[vcpu] = MAX(bpr, GIC_VIRT_MIN_BPR); in gic_vmcr_write()
1906 gic_set_priority_mask(s, vcpu, prio_mask, attrs); in gic_vmcr_write()
1913 int vcpu = cpu + GIC_NCPU; in gic_hyp_read() local
1930 extract32(s->cpu_ctlr[vcpu], 0, 10)); in gic_hyp_read()
1931 *data = FIELD_DP32(*data, GICH_VMCR, VMABP, s->abpr[vcpu]); in gic_hyp_read()
1932 *data = FIELD_DP32(*data, GICH_VMCR, VMBP, s->bpr[vcpu]); in gic_hyp_read()
1934 extract32(s->priority_mask[vcpu], 3, 5)); in gic_hyp_read()
1981 int vcpu = cpu + GIC_NCPU; in gic_hyp_write() local
1996 s->running_priority[vcpu] = gic_get_prio_from_apr_bits(s, vcpu); in gic_hyp_write()