include/simple/simple.h

268         return seL4_InvalidArgument;
272         return seL4_InvalidArgument;
296         return seL4_InvalidArgument;
300         return seL4_InvalidArgument;
309         return seL4_InvalidArgument;
313         return seL4_InvalidArgument;
322         return seL4_InvalidArgument;
326         return seL4_InvalidArgument;
338         return seL4_InvalidArgument;
526         return seL4_InvalidArgument;
530         return seL4_InvalidArgument;
534         return seL4_InvalidArgument;