Home
last modified time | relevance | path

Searched refs:free_irq_cap (Results 1 – 2 of 2) sorted by relevance

/l4re-core-master/l4re/util/include/
A Dicu_svr127 static void free_irq_cap(L4::Cap<L4::Irq> &cap)
141 ~Irq() { ICU::free_irq_cap(_cap); }
201 ICU::free_irq_cap(_cap);
210 ICU::free_irq_cap(_cap);
/l4re-core-master/moe/server/src/
A Dsched_proxy.h34 static void free_irq_cap(Irq_cap cap) in free_irq_cap() function

Completed in 4 milliseconds