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

/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dwinstartup.cpp294 static BOOL WINAPI CtrlHandler(DWORD dwCtrlType) function
357 SetConsoleCtrlHandler(CtrlHandler, TRUE); // May fail if there's no console.

Completed in 78 milliseconds