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

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dpolystring.h110 extern char **stringListToVector(Handle list);
H A Dpolystring.cpp262 char **stringListToVector(Handle list) function
H A Dunix_specific.cpp530 char **argl = stringListToVector(SAVE(DEREFHANDLE(args)->Get(1)));
544 char **argl = stringListToVector(SAVE(DEREFHANDLE(args)->Get(1)));
545 char **envl = stringListToVector(SAVE(DEREFHANDLE(args)->Get(2)));
560 char **argl = stringListToVector(SAVE(DEREFHANDLE(args)->Get(1)));

Completed in 86 milliseconds