Searched refs:retptr (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-10.1.1/l4v/tools/c-parser/testfiles/
H A DpostfixOps.c18 signed char *retptr(void) function
31 (*retptr())++;
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/nios2/
H A Dffi.c210 void *retptr; local
219 retptr = *((void **) argp);
223 retptr = (void *) &result;
245 (closure->fun) (cif, retptr, parsed_args, closure->user_data);

Completed in 41 milliseconds