Searched defs:WinMain (Results 1 - 4 of 4) sorted by relevance

/seL4-l4v-master/HOL4/polyml/wininstall/polyicon/
H A Dpolyicon.c5 int __stdcall WinMain(HINSTANCE hI, HINSTANCE hP, LPSTR s, int n) function
/seL4-l4v-master/HOL4/polyml/
H A Dpolyimport.c33 int WINAPI WinMain(HINSTANCE hInstance, HINSTANCE hPrevInstance, LPSTR lpCmdLine, int nCmdShow) function
/seL4-l4v-master/HOL4/polyml/libpolymain/
H A Dpolystub.c34 int WINAPI WinMain(HINSTANCE hInstance, HINSTANCE hPrevInstance, LPSTR lpCmdLine, int nCmdShow) function
/seL4-l4v-master/HOL4/polyml/interruptpoly/
H A Dinterruptpoly.c74 int WINAPI WinMain( function

Completed in 193 milliseconds