diff options
Diffstat (limited to 'hw/dmx/dmxinit.c')
-rw-r--r-- | hw/dmx/dmxinit.c | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/hw/dmx/dmxinit.c b/hw/dmx/dmxinit.c index e7f04df16..9c5356ed5 100644 --- a/hw/dmx/dmxinit.c +++ b/hw/dmx/dmxinit.c @@ -1046,14 +1046,3 @@ void ddxUseMsg(void) ErrorF(" Ctrl-Alt-q Quit (core devices only)\n"); ErrorF(" Ctrl-Alt-F* Switch to VC (local only)\n"); } - -#ifdef DDXTIME -/** Return wall-clock time in milliseconds. */ -CARD32 GetTimeInMillis(void) -{ - struct timeval tp; - - gettimeofday(&tp, 0); - return tp.tv_sec * 1000 + tp.tv_usec / 1000; -} -#endif |