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

/seL4-l4v-master/HOL4/polyml/
H A Dpolyimport.c33 int WINAPI WinMain(HINSTANCE hInstance, HINSTANCE hPrevInstance, LPSTR lpCmdLine, int nCmdShow) argument
35 return PolyWinMain(hInstance, hPrevInstance, lpCmdLine, nCmdShow, 0);
H A Dpolyexports.h105 LPSTR lpCmdLine, int nCmdShow, exportDescription *exports);
/seL4-l4v-master/HOL4/polyml/libpolymain/
H A Dpolystub.c34 int WINAPI WinMain(HINSTANCE hInstance, HINSTANCE hPrevInstance, LPSTR lpCmdLine, int nCmdShow) argument
36 return PolyWinMain(hInstance, hPrevInstance, lpCmdLine, nCmdShow, &poly_exports);
/seL4-l4v-master/HOL4/polyml/interruptpoly/
H A Dinterruptpoly.c77 LPSTR lpCmdLine, // pointer to command line
74 WinMain( HINSTANCE hInstance, HINSTANCE hPrevInstance, LPSTR lpCmdLine, int nCmdShow ) argument

Completed in 35 milliseconds