Searched refs:dev_handle_irq (Results 1 - 8 of 8) sorted by relevance
| /seL4-refos-master/libs/librefos/include/refos-util/ |
| H A D | device_irq.h | 106 int dev_handle_irq(dev_irq_state_t *irqState, uint32_t irq,
|
| /seL4-refos-master/projects/refos/impl/libs/librefos/include/refos-util/ |
| H A D | device_irq.h | 106 int dev_handle_irq(dev_irq_state_t *irqState, uint32_t irq,
|
| /seL4-refos-master/projects/refos/impl/apps/console_server/src/ |
| H A D | device_input.c | 146 dev_handle_irq(&conServ.irqState, i, input_handle_irq, (void*) s);
152 dev_handle_irq(&conServ.irqState, i, input_handle_irq, (void*) s);
|
| /seL4-refos-master/apps/console_server/src/ |
| H A D | device_input.c | 146 dev_handle_irq(&conServ.irqState, i, input_handle_irq, (void*) s);
152 dev_handle_irq(&conServ.irqState, i, input_handle_irq, (void*) s);
|
| /seL4-refos-master/libs/librefos/src/refos-util/ |
| H A D | device_irq.c | 55 int dev_handle_irq(dev_irq_state_t *irqState, uint32_t irq, function
61 ROS_ERROR("dev_handle_irq IRQ num too high. Try raising DEVICE_MAX_IRQ.");
73 ROS_WARNING("dev_handle_irq : could not get IRQ handler for irq %u.\n", irq);
88 ROS_WARNING("dev_handle_irq : could not mint badged aep for irq %u.\n", irq);
95 ROS_WARNING("dev_handle_irq : could not set notify aep for irq %u.\n", irq);
|
| /seL4-refos-master/projects/refos/impl/libs/librefos/src/refos-util/ |
| H A D | device_irq.c | 55 int dev_handle_irq(dev_irq_state_t *irqState, uint32_t irq, function
61 ROS_ERROR("dev_handle_irq IRQ num too high. Try raising DEVICE_MAX_IRQ.");
73 ROS_WARNING("dev_handle_irq : could not get IRQ handler for irq %u.\n", irq);
88 ROS_WARNING("dev_handle_irq : could not mint badged aep for irq %u.\n", irq);
95 ROS_WARNING("dev_handle_irq : could not set notify aep for irq %u.\n", irq);
|
| /seL4-refos-master/projects/refos/impl/apps/timer_server/src/ |
| H A D | device_timer.c | 275 int error = dev_handle_irq(&timeServ.irqState, irq, device_timer_handle_irq, (void*) s);
284 int error = dev_handle_irq(&timeServ.irqState, irq, device_tick_handle_irq, (void*) s);
|
| /seL4-refos-master/apps/timer_server/src/ |
| H A D | device_timer.c | 275 int error = dev_handle_irq(&timeServ.irqState, irq, device_timer_handle_irq, (void*) s);
284 int error = dev_handle_irq(&timeServ.irqState, irq, device_tick_handle_irq, (void*) s);
|
Completed in 94 milliseconds