Searched refs:irq (Results 101 - 125 of 187) sorted by relevance

12345678

/seL4-refos-master/projects/util_libs/libplatsupport/include/platsupport/
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...]
H A Dchardev.h182 static inline void ps_cdev_handle_irq(ps_chardevice_t* d, int irq UNUSED)
190 * @param[in] irq An irq number
193 static inline int ps_cdev_produces_irq(const ps_chardevice_t* d, int irq) argument
197 if (d->irqs[i] == irq) {
/seL4-refos-master/kernel/src/machine/
H A Dcapdl.c324 printf("irq maps {\n");
328 irq_t irq = CORE_IRQ_TO_IRQT(target, i); local
329 if (isIRQActive(irq)) {
330 cap_t cap = intStateIRQNode[IRQT_TO_IDX(irq)].cap;
335 (long unsigned int)irq.irq,
337 (long unsigned int)irq,
349 irq_t irq = IDX_TO_IRQT(cap_irq_handler_cap_get_capIRQ(irq_cap)); local
350 if (isIRQActive(irq)) {
353 (long unsigned int)irq
[all...]
/seL4-refos-master/libs/libplatsupport/src/plat/rockpro64/
H A Dtimer.c142 static int irq_index_walker(ps_irq_t irq, unsigned curr_num, size_t num_irqs, void *token) argument
147 irq_id_t registered_id = ps_irq_register(&rk->ops.irq_ops, irq, rk_handle_irq, rk);
150 rk->irq = irq;
226 ps_irq_t irq2 = { .type = PS_INTERRUPT, .irq.number = rkp->irq.irq.number + 1 };
229 ZF_LOGE("Failed to register secondary irq for rk timer");
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/rockpro64/
H A Dtimer.c142 static int irq_index_walker(ps_irq_t irq, unsigned curr_num, size_t num_irqs, void *token) argument
147 irq_id_t registered_id = ps_irq_register(&rk->ops.irq_ops, irq, rk_handle_irq, rk);
150 rk->irq = irq;
226 ps_irq_t irq2 = { .type = PS_INTERRUPT, .irq.number = rkp->irq.irq.number + 1 };
229 ZF_LOGE("Failed to register secondary irq for rk timer");
/seL4-refos-master/libs/libplatsupport/include/platsupport/
H A Dchardev.h182 static inline void ps_cdev_handle_irq(ps_chardevice_t* d, int irq UNUSED)
190 * @param[in] irq An irq number
193 static inline int ps_cdev_produces_irq(const ps_chardevice_t* d, int irq) argument
197 if (d->irqs[i] == irq) {
/seL4-refos-master/kernel/src/smp/
H A Dipi.c73 void handleIPI(irq_t irq, bool_t irqPath) argument
75 if (IRQT_TO_IRQ(irq) == irq_remote_call_ipi) {
77 } else if (IRQT_TO_IRQ(irq) == irq_reschedule_ipi) {
/seL4-refos-master/libs/libplatsupport/plat_include/hikey/platsupport/plat/
H A Drtc.h53 uint32_t irq; member in struct:__anon520
/seL4-refos-master/libs/libplatsupport/plat_include/pc99/platsupport/plat/
H A Dhpet.h26 /* irq number of hpet interrupts */
27 uint32_t irq; member in struct:PACKED
/seL4-refos-master/projects/util_libs/libplatsupport/plat_include/hikey/platsupport/plat/
H A Drtc.h53 uint32_t irq; member in struct:__anon951
/seL4-refos-master/projects/util_libs/libplatsupport/plat_include/pc99/platsupport/plat/
H A Dhpet.h26 /* irq number of hpet interrupts */
27 uint32_t irq; member in struct:PACKED
/seL4-refos-master/libs/libplatsupport/src/
H A Dirqchip.h17 #include <platsupport/irq.h>
/seL4-refos-master/projects/util_libs/libplatsupport/src/
H A Dirqchip.h17 #include <platsupport/irq.h>
/seL4-refos-master/kernel/include/arch/arm/arch/
H A Dmachine.h26 void setIRQTrigger(irq_t irq, bool_t trigger);
28 void setIRQTarget(irq_t irq, seL4_Word target);
/seL4-refos-master/kernel/src/arch/arm/machine/
H A Dgic_v3.c290 void setIRQTrigger(irq_t irq, bool_t trigger) argument
296 word_t hw_irq = IRQT_TO_IRQ(irq);
297 word_t core = IRQT_TO_CORE(irq);
347 void ipi_send_target(irq_t irq, word_t cpuTargetList) argument
349 uint64_t sgi1r_base = ((word_t) IRQT_TO_IRQ(irq)) << ICC_SGI1R_INTID_SHIFT;
376 void setIRQTarget(irq_t irq, seL4_Word target) argument
378 if (IRQ_IS_PPI(irq)) {
383 word_t hw_irq = IRQT_TO_IRQ(irq);
/seL4-refos-master/kernel/tools/hardware/utils/
H A Drule.py107 def __init__(self, label: str, irq: int, prio: int = 0, sel_macro: str = None, false_irq: int = -1, enable_macro: str = None, desc: str = None):
109 self.irq = irq
141 return 'KernelInterrupt(label={},irq={},sel_macro={},false_irq={})'.format(self.label, self.irq, self.sel_macro, self.false_irq)
199 irq = KernelInterrupt(name, defaultIrq, prio, sel_macro,
205 irq = KernelInterrupt(name, interrupts[rule], desc=irq_desc)
210 irq = KernelInterrupt(name, interrupts[idx])
211 ret.append(irq)
/seL4-refos-master/libs/libplatsupport/src/plat/odroidc2/
H A Dltimer.c56 static int get_nth_irq(void *data, size_t n, ps_irq_t *irq) argument
59 *irq = irqs[n];
75 static int handle_irq(void *data, ps_irq_t *irq) argument
80 if (irq->irq.number != TIMER_A_IRQ) {
217 odroidc2_timer->callback_data.irq = &irqs[0];
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/odroidc2/
H A Dltimer.c56 static int get_nth_irq(void *data, size_t n, ps_irq_t *irq) argument
59 *irq = irqs[n];
75 static int handle_irq(void *data, ps_irq_t *irq) argument
80 if (irq->irq.number != TIMER_A_IRQ) {
217 odroidc2_timer->callback_data.irq = &irqs[0];
/seL4-refos-master/libs/libsel4utils/src/irq_server/
H A Dirq_server.c21 #include <platsupport/irq.h>
22 #include <sel4platsupport/irq.h>
84 static irq_id_t irq_server_node_register_irq(irq_server_node_t *node, ps_irq_t irq, irq_callback_fn_t callback, argument
89 irq_id_t irq_id = ps_irq_register(&(irq_server->irq_ops), irq, callback, callback_data);
299 irq_id_t irq_server_register_irq(irq_server_t *irq_server, ps_irq_t irq, argument
314 ret_id = irq_server_node_register_irq(st->node, irq, callback, callback_data,
/seL4-refos-master/projects/seL4_libs/libsel4utils/src/irq_server/
H A Dirq_server.c21 #include <platsupport/irq.h>
22 #include <sel4platsupport/irq.h>
84 static irq_id_t irq_server_node_register_irq(irq_server_node_t *node, ps_irq_t irq, irq_callback_fn_t callback, argument
89 irq_id_t irq_id = ps_irq_register(&(irq_server->irq_ops), irq, callback, callback_data);
299 irq_id_t irq_server_register_irq(irq_server_t *irq_server, ps_irq_t irq, argument
314 ret_id = irq_server_node_register_irq(st->node, irq, callback, callback_data,
/seL4-refos-master/projects/refos/impl/apps/console_server/src/
H A Dstate.c61 conserv_get_irq_handler_endpoint(void *cookie, int irq) argument
63 return proc_get_irq_handler(irq);
105 /* Set up irq handler state config. */
/seL4-refos-master/apps/console_server/src/
H A Dstate.c61 conserv_get_irq_handler_endpoint(void *cookie, int irq) argument
63 return proc_get_irq_handler(irq);
105 /* Set up irq handler state config. */
/seL4-refos-master/kernel/include/object/
H A Dobjecttype.h56 irq_t irq = IDX_TO_IRQT(cap_irq_handler_cap_get_capIRQ(cap)); local
57 deletedIRQHandler(irq);
/seL4-refos-master/kernel/libsel4/include/sel4/
H A Dsyscalls.h129 * @param irq The SGI number (0-15).
133 seL4_DebugSendIPI(seL4_Uint8 target, unsigned irq);
/seL4-refos-master/libs/libsel4/include/sel4/
H A Dsyscalls.h129 * @param irq The SGI number (0-15).
133 seL4_DebugSendIPI(seL4_Uint8 target, unsigned irq);

Completed in 199 milliseconds

12345678