Searched refs:isSource (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-10.1.1/seL4/include/kernel/
H A Dcspace.h54 lookupSlot_ret_t lookupSlotForCNodeOp(bool_t isSource,
/seL4-l4v-10.1.1/seL4/src/kernel/
H A Dcspace.c73 lookupSlotForCNodeOp(bool_t isSource, cap_t root, cptr_t capptr, argument
83 current_syscall_error.failedLookupWasSource = isSource;
99 current_syscall_error.failedLookupWasSource = isSource;
107 current_syscall_error.failedLookupWasSource = isSource;
/seL4-l4v-10.1.1/HOL4/tools/Holmake/poly/
H A DBuildCommand.sml33 fun isSource t = OS.Path.ext t = SOME "sig" orelse OS.Path.ext t = SOME "sml" function
52 else if isSource file then

Completed in 37 milliseconds