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

/l4re-core-master/moe/server/src/
A D	sched_proxy.h	30 typedef L4::Cap<L4::Irq> Irq_cap; typedef 31 static Irq_cap alloc_irq_cap() in alloc_irq_cap() 34 static void free_irq_cap(Irq_cap cap) in free_irq_cap()

Completed in 2 milliseconds

Last Index update Sun Aug 20 00:18:20 CST 2023