Searched defs:parameter (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dgctaskfarm.cpp235 void *GCTaskFarm::WorkerThreadFunction(void *parameter) argument
242 DWORD WINAPI GCTaskFarm::WorkerThreadFunction(void *parameter) argument
H A Dprocesses.cpp1329 static void *NewThreadFunction(void *parameter) argument
1353 static DWORD WINAPI NewThreadFunction(void *parameter) argument
1369 static void NewThreadFunction(void *parameter) argument
/seL4-l4v-10.1.1/HOL4/examples/ARM/v7/eval/
H A Demit_eval.sml261 "handler branch with link and parameter" function

Completed in 101 milliseconds