Searched defs:seL4_ReplyBits (Results 1 – 6 of 6) sorted by relevance
27 #define seL4_ReplyBits 4 macro
20 #define seL4_ReplyBits 4 macro
20 #define seL4_ReplyBits 5 macro
34 #define seL4_ReplyBits 5 macro
185 #define seL4_ReplyBits 4 macro
181 #define seL4_ReplyBits 5 macro
Completed in 7 milliseconds