Searched refs:GIC_VIRT_MIN_ABPR (Results 1 – 3 of 3) sorted by relevance
52 #define GIC_VIRT_MIN_ABPR (GIC_VIRT_MIN_BPR + 1) macro
253 s->abpr[i] = gic_is_vcpu(i) ? GIC_VIRT_MIN_ABPR : GIC_MIN_ABPR; in arm_gic_common_reset_irq_state()
1889 s->abpr[vcpu] = MAX(abpr, GIC_VIRT_MIN_ABPR); in gic_vmcr_write()