Searched refs:max_irqs (Results 1 – 2 of 2) sorted by relevance
122 void gic_common_dist_config(void *base, int max_irqs, void (*sync_access)(void *), void *data) in gic_common_dist_config() argument127 for (i = 32; i < max_irqs; i += 16) in gic_common_dist_config()133 for (i = 32; i < max_irqs; i += 4) in gic_common_dist_config()139 for (i = 32; i < max_irqs; i += 32) in gic_common_dist_config()
47 void gic_common_dist_config(void *base, int max_irqs, void (*sync_access)(void *), void *data);
Completed in 3 milliseconds