Searched defs:request (Results 1 - 3 of 3) sorted by path

/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DTopLevelPolyML.sml51 datatype request = type
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dgc.cpp374 FullGCRequest request; local
H A Dprocesses.cpp881 void Processes::MakeRequest(TaskData *p, ThreadRequests request) argument
984 MakeRootRequest(TaskData *taskData, MainThreadRequest *request) argument
[all...]

Completed in 62 milliseconds