Lines Matching refs:RT_CPUS_NR
20 #ifndef RT_CPUS_NR
21 #define RT_CPUS_NR 1 macro
27 rt_uint32_t redist_hw_base[RT_CPUS_NR]; /* the pointer of the gic redistributor */
29 rt_uint32_t cpu_hw_base[RT_CPUS_NR]; /* the base addrees of the gic cpu interface */
89 RT_ASSERT((cpu_id) < RT_CPUS_NR); in arm_gic_mask()
110 RT_ASSERT((cpu_id) < RT_CPUS_NR); in arm_gic_umask()
271 RT_ASSERT((cpu_id) < RT_CPUS_NR); in arm_gic_set_priority()
298 RT_ASSERT((cpu_id) < RT_CPUS_NR); in arm_gic_get_priority()
469 RT_ASSERT((cpu_id) < RT_CPUS_NR); in arm_gicv3_wait_rwp()
568 RT_ASSERT((cpu_id) < RT_CPUS_NR); in arm_gic_redist_address_set()
577 RT_ASSERT((cpu_id) < RT_CPUS_NR); in arm_gic_cpu_interface_address_set()
590 RT_ASSERT((cpu_id) < RT_CPUS_NR); in arm_gic_redist_init()