Searched refs:num_interrupts (Results 1 - 3 of 3) sorted by relevance

/seL4-camkes-master/projects/util_libs/libplatsupport/src/arch/arm/irqchip/
H A Dgic.c50 int num_interrupts = total_cells / stride; local
54 for (int i = 0; i < num_interrupts; i++) {
73 int error = callback(curr_irq, i, num_interrupts, token);
H A Dgicv3.c84 int num_interrupts = total_cells / stride; local
88 for (int i = 0; i < num_interrupts; i++) {
130 int error = callback(curr_irq, i, num_interrupts, token);
/seL4-camkes-master/projects/camkes-tool/camkes/templates/
H A Dmacros.py704 num_interrupts = len(interrupts)//4
706 num_interrupts = len(interrupts)//3
707 if max_num_interrupts != -1 and num_interrupts > max_num_interrupts:
710 for i in range(0, num_interrupts):

Completed in 29 milliseconds