| /seL4-test-master/projects/util_libs/libethdrivers/include/ethdrivers/ |
| H A D | intel.h | 21 size_t num_irqs; member in struct:ethif_intel_config
|
| /seL4-test-master/projects/util_libs/libplatsupport/src/mach/nvidia/ |
| H A D | timer.c | 139 static int allocate_irq_callback(ps_irq_t irq, unsigned curr_num, size_t num_irqs, void *token) argument
|
| /seL4-test-master/projects/util_libs/libplatsupport/src/plat/rockpro64/ |
| H A D | timer.c | 142 static int irq_index_walker(ps_irq_t irq, unsigned curr_num, size_t num_irqs, void *token) argument
|
| /seL4-test-master/projects/util_libs/libplatsupport/src/mach/imx/epit/ |
| H A D | epit.c | 205 static int allocate_irq_callback(ps_irq_t irq, unsigned curr_num, size_t num_irqs, void *token) argument
|
| /seL4-test-master/projects/util_libs/libplatsupport/src/mach/exynos/ |
| H A D | pwm.c | 253 static int pwm_walk_irqs(ps_irq_t irq, unsigned curr_num, size_t num_irqs, void *token) argument
|
| /seL4-test-master/projects/util_libs/libplatsupport/src/ |
| H A D | fdt.c | 298 static int irq_index_helper_walker(ps_irq_t irq, unsigned curr_num, size_t num_irqs, void *token) argument
|
| /seL4-test-master/projects/util_libs/libethdrivers/src/plat/tx2/ |
| H A D | tx2.c | 397 static int allocate_irq_callback(ps_irq_t irq, unsigned curr_num, size_t num_irqs, void *token) argument
|
| /seL4-test-master/projects/seL4_libs/libsel4utils/src/irq_server/ |
| H A D | irq_server.c | 53 size_t num_irqs; member in struct:irq_server
327 irq_server_new(vspace_t *vspace, vka_t *vka, seL4_Word priority, simple_t *simple, seL4_CPtr cspace, seL4_CPtr delivery_ep, seL4_Word label, size_t num_irqs, ps_malloc_ops_t *malloc_ops) argument
|
| /seL4-test-master/projects/util_libs/libplatsupport/src/mach/imx/ |
| H A D | gpt.c | 254 static int allocate_irq_callback(ps_irq_t irq, unsigned curr_num, size_t num_irqs, void *token) argument
|
| /seL4-test-master/projects/util_libs/libethdrivers/src/plat/zynq7000/ |
| H A D | zynq7000.c | 487 static int allocate_irq_callback(ps_irq_t irq, unsigned curr_num, size_t num_irqs, void *token) argument
|
| /seL4-test-master/projects/util_libs/libplatsupport/src/mach/zynq/ |
| H A D | timer.c | 552 static int allocate_irq_callback(ps_irq_t irq, unsigned curr_num, size_t num_irqs, void *token) argument
|
| /seL4-test-master/projects/util_libs/libethdrivers/src/plat/imx6/ |
| H A D | imx6.c | 504 static int allocate_irq_callback(ps_irq_t irq, unsigned curr_num, size_t num_irqs, void *token) argument
|
| /seL4-test-master/projects/util_libs/libplatsupport/src/mach/omap/ |
| H A D | gpt.c | 362 static int allocate_irq_callback(ps_irq_t irq, unsigned curr_num, size_t num_irqs, void *token) argument
|