/seL4-refos-master/projects/util_libs/libplatsupport/include/platsupport/ |
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...] |
H A D | chardev.h | 182 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 D | capdl.c | 324 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 D | timer.c | 142 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 D | timer.c | 142 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 D | chardev.h | 182 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 D | ipi.c | 73 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 D | rtc.h | 53 uint32_t irq; member in struct:__anon520
|
/seL4-refos-master/libs/libplatsupport/plat_include/pc99/platsupport/plat/ |
H A D | hpet.h | 26 /* 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 D | rtc.h | 53 uint32_t irq; member in struct:__anon951
|
/seL4-refos-master/projects/util_libs/libplatsupport/plat_include/pc99/platsupport/plat/ |
H A D | hpet.h | 26 /* irq number of hpet interrupts */ 27 uint32_t irq; member in struct:PACKED
|
/seL4-refos-master/libs/libplatsupport/src/ |
H A D | irqchip.h | 17 #include <platsupport/irq.h>
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/ |
H A D | irqchip.h | 17 #include <platsupport/irq.h>
|
/seL4-refos-master/kernel/include/arch/arm/arch/ |
H A D | machine.h | 26 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 D | gic_v3.c | 290 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 D | rule.py | 107 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 D | ltimer.c | 56 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 D | ltimer.c | 56 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 D | irq_server.c | 21 #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 D | irq_server.c | 21 #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 D | state.c | 61 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 D | state.c | 61 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 D | objecttype.h | 56 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 D | syscalls.h | 129 * @param irq The SGI number (0-15). 133 seL4_DebugSendIPI(seL4_Uint8 target, unsigned irq);
|
/seL4-refos-master/libs/libsel4/include/sel4/ |
H A D | syscalls.h | 129 * @param irq The SGI number (0-15). 133 seL4_DebugSendIPI(seL4_Uint8 target, unsigned irq);
|