11 SystemTimeToFileTime(&st, &ft);
12 return (((s64)ft.dwLowDateTime
13 | (s64)ft.dwHighDateTime<<32) - EPOCH_OFFSET) / 10;
16 char *strerror(int err)
18 /* strerror() is not defined on WinCE */
19 return "strerror() is not defined on WinCE. Use native I/O.";
22 void flush_icache(cell start, cell end)
24 FlushInstructionCache(GetCurrentProcess(), 0, 0);
27 char *getenv(char *name)
29 not_implemented_error();
30 return 0; /* unreachable */
35 not_implemented_error();
38 void c_to_factor_toplevel(cell quot)
43 void open_console() { }