/seL4-refos-master/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 267 irq_id = ps_irq_register(&pwm->ops.irq_ops, irq, pwm_handle_irq0, pwm); 276 irq_id = ps_irq_register(&pwm->ops.irq_ops, irq, pwm_handle_irq4, pwm);
|
/seL4-refos-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 267 irq_id = ps_irq_register(&pwm->ops.irq_ops, irq, pwm_handle_irq0, pwm); 276 irq_id = ps_irq_register(&pwm->ops.irq_ops, irq, pwm_handle_irq4, pwm);
|
/seL4-refos-master/libs/libmuslc/include/net/ |
H A D | if.h | 68 unsigned char irq; member in struct:ifmap
|
/seL4-refos-master/libs/libplatsupport/src/mach/imx/ |
H A D | ltimer.c | 20 #include <platsupport/irq.h>
|
H A D | gpt.c | 229 /* irq has come in */ 254 static int allocate_irq_callback(ps_irq_t irq, unsigned curr_num, size_t num_irqs, void *token) argument 260 gpt->irq_id = ps_irq_register(&gpt->io_ops.irq_ops, irq, gpt_handle_irq, gpt);
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/mach/imx/ |
H A D | ltimer.c | 20 #include <platsupport/irq.h>
|
H A D | gpt.c | 229 /* irq has come in */ 254 static int allocate_irq_callback(ps_irq_t irq, unsigned curr_num, size_t num_irqs, void *token) argument 260 gpt->irq_id = ps_irq_register(&gpt->io_ops.irq_ops, irq, gpt_handle_irq, gpt);
|
/seL4-refos-master/kernel/tools/hardware/ |
H A D | fdt.py | 11 from hardware.irq import create_irq_controller, IrqController
|
/seL4-refos-master/kernel/include/drivers/irq/ |
H A D | bcm2836-armctrl-ic.h | 136 static inline void ackInterrupt(UNUSED irq_t irq) argument
|
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/am335x/ |
H A D | beaglebone.c | 287 static void handle_irq(struct eth_driver *driver, int irq) argument 292 if (irq == SYS_INT_3PGSWRXINT0) { 295 } else if (irq == SYS_INT_3PGSWTXINT0) { 298 ZF_LOGE("Unrecognised interrupt number %d\n", irq);
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/hifive/ |
H A D | pwm.c | 100 void pwm_handle_irq(pwm_t *pwm, uint32_t irq) argument
|
/seL4-refos-master/libs/libplatsupport/src/plat/hifive/ |
H A D | pwm.c | 100 void pwm_handle_irq(pwm_t *pwm, uint32_t irq) argument
|
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/tx2/ |
H A D | tx2.c | 213 static void handle_irq(struct eth_driver *driver, int irq) argument 216 uint32_t val = eqos_handle_irq(eth_data, irq); 397 static int allocate_irq_callback(ps_irq_t irq, unsigned curr_num, size_t num_irqs, void *token) argument 408 int res = ps_irq_register(&args->io_ops->irq_ops, irq, eth_irq_handle, args->eth_driver);
|
/seL4-refos-master/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 148 tmr->irq_id = ps_irq_register(&tmr->ops.irq_ops, irq, nv_tmr_handle_irq, tmr);
|
/seL4-refos-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 148 tmr->irq_id = ps_irq_register(&tmr->ops.irq_ops, irq, nv_tmr_handle_irq, tmr);
|
/seL4-refos-master/libs/libplatsupport/src/mach/imx/epit/ |
H A D | epit.c | 106 /* Disable timer irq. */ 173 /* ack the irq */ 205 static int allocate_irq_callback(ps_irq_t irq, unsigned curr_num, size_t num_irqs, void *token) argument 211 epit->irq_id = ps_irq_register(&epit->io_ops.irq_ops, irq, epit_handle_irq, epit);
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/mach/imx/epit/ |
H A D | epit.c | 106 /* Disable timer irq. */ 173 /* ack the irq */ 205 static int allocate_irq_callback(ps_irq_t irq, unsigned curr_num, size_t num_irqs, void *token) argument 211 epit->irq_id = ps_irq_register(&epit->io_ops.irq_ops, irq, epit_handle_irq, epit);
|
/seL4-refos-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 308 irq, helper_token->irq_callback,
|
/seL4-refos-master/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 308 irq, helper_token->irq_callback,
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/am335x/ |
H A D | i2c.c | 56 .irq.number = AM335X_I2C0_IRQ 60 .irq.number = AM335X_I2C1_IRQ 64 .irq.number = AM335X_I2C2_IRQ
|
/seL4-refos-master/libs/libplatsupport/src/plat/am335x/ |
H A D | i2c.c | 56 .irq.number = AM335X_I2C0_IRQ 60 .irq.number = AM335X_I2C1_IRQ 64 .irq.number = AM335X_I2C2_IRQ
|
/seL4-refos-master/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 370 irq_id_t irq_id = ps_irq_register(&gpt->ops.irq_ops, irq, gpt_handle_irq, gpt); 385 ZF_LOGE_IF(error, "Unable to un-register timer gpt irq")
|
/seL4-refos-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 370 irq_id_t irq_id = ps_irq_register(&gpt->ops.irq_ops, irq, gpt_handle_irq, gpt); 385 ZF_LOGE_IF(error, "Unable to un-register timer gpt irq")
|
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/imx6/ |
H A D | imx6.c | 287 static void handle_irq(struct eth_driver *driver, int irq) argument 504 static int allocate_irq_callback(ps_irq_t irq, unsigned curr_num, size_t num_irqs, void *token) argument 513 args->irq_id = ps_irq_register(&args->io_ops->irq_ops, irq, eth_irq_handle, args->eth_driver);
|
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/zynq7000/ |
H A D | zynq7000.c | 267 static void handle_irq(struct eth_driver *driver, int irq) argument 487 static int allocate_irq_callback(ps_irq_t irq, unsigned curr_num, size_t num_irqs, void *token) argument 496 args->irq_id = ps_irq_register(&args->io_ops->irq_ops, irq, eth_irq_handle, args->eth_driver);
|