Searched defs:handle_irq (Results 1 – 2 of 2) sorted by relevance
| /l4re-core-master/moe/server/src/ | ||
| A D | sched_proxy.cc | 181 void handle_irq() in handle_irq() function in Cpu_hotplug_server |
| /l4re-core-master/libkproxy/lib/src/ | ||
| A D | factory_svr.cc | 90 static int handle_irq(Factory_svr *svr, Factory_interface *fi, in handle_irq() function in L4kproxy::Factory_hndl |
Completed in 8 milliseconds