Searched refs:WinMain (Results 1 - 6 of 6) 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
H A DMakefile.am61 EXTRALDFLAGS += -Wl,-u,WinMain
64 EXTRALDFLAGS += -Wl,-u,WinMain
67 EXTRALDFLAGS += -Wl,-u,WinMain
H A DMakefile.in94 @ARCHINTERPRET64_TRUE@@NATIVE_WINDOWS_TRUE@am__append_1 = -Wl,-u,WinMain
95 @ARCHINTERPRET64_FALSE@@ARCHX86_64_TRUE@@NATIVE_WINDOWS_TRUE@am__append_2 = -Wl,-u,WinMain
96 @ARCHINTERPRET64_FALSE@@ARCHX8632IN64_TRUE@@ARCHX86_64_FALSE@@NATIVE_WINDOWS_TRUE@am__append_3 = -Wl,-u,WinMain
/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 44 milliseconds