3 s64
current_micros(void)
8 SystemTimeToFileTime(&st
, &ft
);
9 return (((s64
)ft
.dwLowDateTime
10 | (s64
)ft
.dwHighDateTime
<<32) - EPOCH_OFFSET
) / 10;
13 char *strerror(int err
)
15 /* strerror() is not defined on WinCE */
16 return "strerror() is not defined on WinCE. Use native I/O.";
19 void flush_icache(CELL start
, CELL end
)
21 FlushInstructionCache(GetCurrentProcess(), 0, 0);
24 char *getenv(char *name
)
26 not_implemented_error();
27 return 0; /* unreachable */
30 void primitive_os_envs(void)
32 not_implemented_error();
35 void c_to_factor_toplevel(CELL quot
)
40 void open_console(void) { }