Home
last modified time | relevance | path

Searched refs:RT_MAX_IPI (Results 1 – 3 of 3) sorted by relevance

/components/drivers/pic/
A Dpic-gic-common.c65 if (irq_base < RT_MAX_IPI) in gic_common_sgi_config()
69 for (int ipi = 0; ipi < RT_MAX_IPI; ++ipi) in gic_common_sgi_config()
A Dpic.c32 static int _pirq_hash_idx = RT_MAX_IPI;
224 if (pic && ipi < RT_MAX_IPI && hwirq >= 0 && pic->ops->irq_send_ipi) in rt_pic_config_ipi()
275 RT_ASSERT(ipi_index < RT_MAX_IPI); in rt_pic_find_ipi()
/components/drivers/include/drivers/core/
A Ddm.h30 #ifndef RT_MAX_IPI
31 #define RT_MAX_IPI 0 macro

Completed in 5 milliseconds