Searched refs:seL4_LookupFailureType (Results 1 – 1 of 1) sorted by relevance
71 SEL4_FORCE_LONG_ENUM(seL4_LookupFailureType),72 } seL4_LookupFailureType; typedef
Completed in 2 milliseconds