--- /old/Include/include_h/devices/timer.h	2001-12-17 14:03:44.000000000 +0100
+++ /new/Include/include_h/devices/timer.h	2018-05-07 09:55:38.850775200 +0200
@@ -31,6 +31,8 @@
     ULONG tv_secs;
     ULONG tv_micro;
 };
+#define tv_sec tv_secs
+#define tv_usec tv_micro 
 
 struct EClockVal {
     ULONG ev_hi;