| 105 | void (*PlatformSpecificRestoreJumpBuffer)(void) = DosRestoreJumpBuffer; |
| 106 | |
| 107 | static long DosTimeInMillis() |
| 108 | { |
| 109 | return clock() * 1000 / CLOCKS_PER_SEC; |
| 110 | } |
| 111 | |
| 112 | static const char* DosTimeString() |
| 113 | { |
nothing calls this directly
no outgoing calls
no test coverage detected