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

/seL4-l4v-master/HOL4/polyml/PolyPerf/
H A DPolyPerf.cpp103 static PolyProcess* CreateProcessEntry(DWORD pID);
150 PolyProcess *PolyProcess::CreateProcessEntry(DWORD pId) function in class:PolyProcess
473 PolyProcess *pProc = PolyProcess::CreateProcessEntry(processIds[dw]);

Completed in 81 milliseconds