/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/hifive/ |
H A D | ltimer.c | 47 .irq.number = PWM0_INTERRUPT0 52 .irq.number = PWM1_INTERRUPT0 77 static int get_nth_irq(void *data, size_t n, ps_irq_t *irq) argument 81 *irq = irqs[n]; 97 static int ltimer_handle_irq(void *data, ps_irq_t *irq) argument 101 long irq_number = irq->irq.number; 104 pwm_handle_irq(&timers->pwm_ltimers[COUNTER_TIMER].pwm, irq->irq.number); 107 pwm_handle_irq(&timers->pwm_ltimers[TIMEOUT_TIMER].pwm, irq [all...] |
/seL4-refos-master/libs/libplatsupport/src/plat/hifive/ |
H A D | ltimer.c | 47 .irq.number = PWM0_INTERRUPT0 52 .irq.number = PWM1_INTERRUPT0 77 static int get_nth_irq(void *data, size_t n, ps_irq_t *irq) argument 81 *irq = irqs[n]; 97 static int ltimer_handle_irq(void *data, ps_irq_t *irq) argument 101 long irq_number = irq->irq.number; 104 pwm_handle_irq(&timers->pwm_ltimers[COUNTER_TIMER].pwm, irq->irq.number); 107 pwm_handle_irq(&timers->pwm_ltimers[TIMEOUT_TIMER].pwm, irq [all...] |
/seL4-refos-master/projects/util_libs/libplatsupport/src/arch/arm/irqchip/ |
H A D | gicv3.c | 92 uint32_t irq = 0; local 103 irq = READ_CELL(1, curr, EXT_INT_OFFSET); 110 irq = READ_CELL(1, curr, INT_OFFSET); 121 curr_irq.irq.number = irq + SPI_START;
|
/seL4-refos-master/libs/libplatsupport/src/arch/arm/irqchip/ |
H A D | gicv3.c | 92 uint32_t irq = 0; local 103 irq = READ_CELL(1, curr, EXT_INT_OFFSET); 110 irq = READ_CELL(1, curr, INT_OFFSET); 121 curr_irq.irq.number = irq + SPI_START;
|
/seL4-refos-master/projects/refos/impl/apps/timer_server/src/ |
H A D | device_timer.c | 86 typedef void (*timeserv_irq_callback_fn_t)(void *cookie, uint32_t irq); 87 int timeserv_handle_irq(uint32_t irq, timeserv_irq_callback_fn_t callback, void *cookie); 137 @param irq The fired IRQ number. 140 device_timer_handle_irq(void *cookie, uint32_t irq) argument 146 timer_handle_irq(s->timerDev, irq); 156 @param irq The fired IRQ number. 159 device_tick_handle_irq(void *cookie, uint32_t irq) argument 163 timer_handle_irq(s->tickDev, irq); 227 econfig.irq = TICK_TIMER_IRQ; 242 config.irq 274 int irq = timer_get_nth_irq(s->timerDev, i); local 283 int irq = timer_get_nth_irq(s->tickDev, i); local [all...] |
H A D | state.c | 36 timeserv_get_irq_handler_endpoint(void *cookie, int irq) argument 38 return proc_get_irq_handler(irq); 65 /* Set up irq handler state config. */
|
/seL4-refos-master/apps/timer_server/src/ |
H A D | device_timer.c | 86 typedef void (*timeserv_irq_callback_fn_t)(void *cookie, uint32_t irq); 87 int timeserv_handle_irq(uint32_t irq, timeserv_irq_callback_fn_t callback, void *cookie); 137 @param irq The fired IRQ number. 140 device_timer_handle_irq(void *cookie, uint32_t irq) argument 146 timer_handle_irq(s->timerDev, irq); 156 @param irq The fired IRQ number. 159 device_tick_handle_irq(void *cookie, uint32_t irq) argument 163 timer_handle_irq(s->tickDev, irq); 227 econfig.irq = TICK_TIMER_IRQ; 242 config.irq 274 int irq = timer_get_nth_irq(s->timerDev, i); local 283 int irq = timer_get_nth_irq(s->tickDev, i); local [all...] |
H A D | state.c | 36 timeserv_get_irq_handler_endpoint(void *cookie, int irq) argument 38 return proc_get_irq_handler(irq); 65 /* Set up irq handler state config. */
|
/seL4-refos-master/kernel/src/arch/x86/64/ |
H A D | c_traps.c | 137 interrupt_t irq = servicePendingIRQ(); local 142 "movq %[irq], %%rdi\n" 146 [syscall] "i"(0), /* syscall is unused for irq path */ 147 [irq] "r"((seL4_Word)irq) 185 * by the user. To prevent a storage channel across threads through the irq stack, 190 * the kernel, clear the irq stack. */ 388 void VISIBLE NORETURN c_x64_handle_interrupt(int irq, int syscall); 389 void VISIBLE NORETURN c_x64_handle_interrupt(int irq, int syscall) argument 404 c_handle_interrupt(irq, syscal [all...] |
/seL4-refos-master/kernel/include/drivers/irq/ |
H A D | riscv_plic0.h | 125 static inline void plic_complete_claim(irq_t irq) argument 129 writel(irq, PLIC_PPTR_BASE + plic_claim_offset(hart_id, PLIC_SVC_CONTEXT)); 132 static inline void plic_mask_irq(bool_t disable, irq_t irq) argument 139 addr = PLIC_PPTR_BASE + plic_enable_offset(hart_id, PLIC_SVC_CONTEXT) + (irq / 32) * 4; 140 bit = irq % 32; 188 static inline void plic_irq_set_trigger(irq_t irq, bool_t edge_triggered) argument
|
/seL4-refos-master/kernel/src/arch/x86/32/ |
H A D | c_traps.c | 115 interrupt_t irq = servicePendingIRQ(); local 120 "push %[irq]\n" 124 [syscall] "r"(0), /* syscall is unused for irq path */ 125 [irq] "r"(irq)
|
/seL4-refos-master/kernel/src/arch/riscv/smp/ |
H A D | ipi.c | 71 void ipi_clear_irq(irq_t irq) argument 78 void ipi_send_target(irq_t irq, word_t hart_id) argument 88 ipiIrq[core_id] = irq;
|
/seL4-refos-master/libs/libplatsupport/plat_include/pc99/platsupport/plat/acpi/tables/ |
H A D | spcr.h | 22 uint8_t irq; member in struct:acpi_spcr
|
/seL4-refos-master/projects/util_libs/libplatsupport/plat_include/pc99/platsupport/plat/acpi/tables/ |
H A D | spcr.h | 22 uint8_t irq; member in struct:acpi_spcr
|
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/tx2/ |
H A D | tx2.h | 34 int eqos_handle_irq(struct tx2_eth_data *dev, int irq);
|
/seL4-refos-master/libs/libsel4platsupport/include/sel4platsupport/ |
H A D | timer.h | 18 #include <sel4platsupport/irq.h> 29 typedef void (*handle_irq_fn_t)(seL4_timer_t *timer, uint32_t irq); 77 * of the irq in the default ltimer. 84 * @param simple for getting irq capabilities for the ltimer irqs. 102 * (to avoid unacked irqs due to irq caps not being set up). 109 * @param simple for getting irq capabilities for the ltimer irqs. 119 * Handle a timer irq for this timer. 136 * Helper function for getting the nth irq cap out of the timer_objects struct if its type is 139 * @param to timer_objects struct containing irq caps. 140 * @param id index of irq i [all...] |
H A D | irq.h | 18 #include <platsupport/irq.h> 27 ps_irq_t irq; member in struct:sel4ps_irq
|
H A D | io.h | 19 #include <sel4platsupport/irq.h>
|
/seL4-refos-master/projects/seL4_libs/libsel4platsupport/include/sel4platsupport/ |
H A D | timer.h | 18 #include <sel4platsupport/irq.h> 29 typedef void (*handle_irq_fn_t)(seL4_timer_t *timer, uint32_t irq); 77 * of the irq in the default ltimer. 84 * @param simple for getting irq capabilities for the ltimer irqs. 102 * (to avoid unacked irqs due to irq caps not being set up). 109 * @param simple for getting irq capabilities for the ltimer irqs. 119 * Handle a timer irq for this timer. 136 * Helper function for getting the nth irq cap out of the timer_objects struct if its type is 139 * @param to timer_objects struct containing irq caps. 140 * @param id index of irq i [all...] |
H A D | irq.h | 18 #include <platsupport/irq.h> 27 ps_irq_t irq; member in struct:sel4ps_irq
|
H A D | io.h | 19 #include <sel4platsupport/irq.h>
|
/seL4-refos-master/projects/util_libs/libethdrivers/include/ethdrivers/ |
H A D | lwip.h | 78 static inline void ethif_lwip_handle_irq(lwip_iface_t *iface, int irq) { argument 79 iface->driver.i_fn.raw_handleIRQ(&iface->driver, irq);
|
/seL4-refos-master/projects/util_libs/libplatsupport/include/platsupport/ |
H A D | fdt.h | 16 #include <platsupport/irq.h> 43 * @param irq Description of the device interrupt instance. 49 typedef int (*irq_walk_cb_fn_t)(ps_irq_t irq, unsigned curr_num, size_t num_irqs, void *token);
|
/seL4-refos-master/libs/libplatsupport/include/platsupport/ |
H A D | fdt.h | 16 #include <platsupport/irq.h> 43 * @param irq Description of the device interrupt instance. 49 typedef int (*irq_walk_cb_fn_t)(ps_irq_t irq, unsigned curr_num, size_t num_irqs, void *token);
|
H A D | ltimer.h | 17 #include <platsupport/irq.h> 63 * Get the nth irq number. 66 * @param n index of the irq, < get_num_irqs 67 * @param[out] irq variable to read the irq number into 70 int (*get_nth_irq)(void *data, size_t n, ps_irq_t *irq); 109 * Set an irq to come in at a specific time. 193 static inline int ltimer_get_nth_irq(ltimer_t *timer, size_t n, ps_irq_t *irq) argument 195 if (!timer || !irq) { 211 return timer->get_nth_irq(timer->data, n, irq); [all...] |