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

/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dwinguiconsole.h30 HANDLE createConsoleWindow(int nCmdShow);
H A Dwinstartup.cpp309 int nCmdShow,
384 HANDLE hWriteToScreen = createConsoleWindow(nCmdShow);
305 PolyWinMain( HINSTANCE hInstance, HINSTANCE hPrevInstance, LPSTR lpCmdLineUnused, int nCmdShow, exportDescription *exports ) argument
H A Dwinguiconsole.cpp95 static int nInitialShow; // Value of nCmdShow passed in.
609 HANDLE createConsoleWindow(int nCmdShow) argument
679 nInitialShow = nCmdShow;
/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.c78 int nCmdShow // show state of window

Completed in 44 milliseconds