Searched defs:max_ntfn_ids (Results 1 - 2 of 2) sorted by relevance
/seL4-test-master/projects/seL4_libs/libsel4platsupport/include/sel4platsupport/ | ||
H A D | irq.h | 32 size_t max_ntfn_ids; member in struct:irq_interface_config |
/seL4-test-master/projects/seL4_libs/libsel4platsupport/src/ | ||
H A D | irq.c | 76 size_t max_ntfn_ids; member in struct:__anon3 [all...] |
Completed in 28 milliseconds