Searched refs:GIC_NCPU_VCPU (Results 1 – 1 of 1) sorted by relevance
35 #define GIC_NCPU_VCPU (GIC_NCPU * 2) macro83 uint32_t cpu_ctlr[GIC_NCPU_VCPU];97 uint16_t priority_mask[GIC_NCPU_VCPU];98 uint16_t running_priority[GIC_NCPU_VCPU];99 uint16_t current_pending[GIC_NCPU_VCPU];108 uint8_t bpr[GIC_NCPU_VCPU];109 uint8_t abpr[GIC_NCPU_VCPU];