Searched refs:irq_base (Results 1 – 2 of 2) sorted by relevance

/components/drivers/pic/
A D	pic-gic-common.c	62 void gic_common_sgi_config(void *base, void *data, int irq_base) in gic_common_sgi_config() argument 65 if (irq_base < RT_MAX_IPI) in gic_common_sgi_config()
A D	pic-gic-common.h	45 void gic_common_sgi_config(void *base, void *data, int irq_base);

Completed in 2 milliseconds

Last Index update Fri Aug 22 02:45:11 CST 2025