Searched refs:irq (Results 76 - 100 of 187) sorted by relevance

12345678

/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/hifive/
H A Dltimer.c47 .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 Dltimer.c47 .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 Dgicv3.c92 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 Dgicv3.c92 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 Ddevice_timer.c86 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 Dstate.c36 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 Ddevice_timer.c86 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 Dstate.c36 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 Dc_traps.c137 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 Driscv_plic0.h125 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 Dc_traps.c115 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 Dipi.c71 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 Dspcr.h22 uint8_t irq; member in struct:acpi_spcr
/seL4-refos-master/projects/util_libs/libplatsupport/plat_include/pc99/platsupport/plat/acpi/tables/
H A Dspcr.h22 uint8_t irq; member in struct:acpi_spcr
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/tx2/
H A Dtx2.h34 int eqos_handle_irq(struct tx2_eth_data *dev, int irq);
/seL4-refos-master/libs/libsel4platsupport/include/sel4platsupport/
H A Dtimer.h18 #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 Dirq.h18 #include <platsupport/irq.h>
27 ps_irq_t irq; member in struct:sel4ps_irq
H A Dio.h19 #include <sel4platsupport/irq.h>
/seL4-refos-master/projects/seL4_libs/libsel4platsupport/include/sel4platsupport/
H A Dtimer.h18 #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 Dirq.h18 #include <platsupport/irq.h>
27 ps_irq_t irq; member in struct:sel4ps_irq
H A Dio.h19 #include <sel4platsupport/irq.h>
/seL4-refos-master/projects/util_libs/libethdrivers/include/ethdrivers/
H A Dlwip.h78 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 Dfdt.h16 #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 Dfdt.h16 #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 Dltimer.h17 #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...]

Completed in 136 milliseconds

12345678