Searched refs:GIC_NCPU_VCPU (Results 1 – 1 of 1) sorted by relevance
35 #define GIC_NCPU_VCPU (GIC_NCPU * 2) macro85 uint32_t cpu_ctlr[GIC_NCPU_VCPU];99 uint16_t priority_mask[GIC_NCPU_VCPU];100 uint16_t running_priority[GIC_NCPU_VCPU];101 uint16_t current_pending[GIC_NCPU_VCPU];110 uint8_t bpr[GIC_NCPU_VCPU];111 uint8_t abpr[GIC_NCPU_VCPU];