Searched defs:is_allocated (Results 1 - 1 of 1) sorted by relevance

/seL4-camkes-master/projects/camkes-tool/libsel4camkes/include/camkes/
H A Dirq.h31 bool is_allocated; member in struct:allocated_irq

Completed in 33 milliseconds