#ifndef AMIGA_TIMES_H #define AMIGA_TIMES_H #include <devices/timer.h> /* * handle field name differences in timeval structure */ #define tv_sec tv_secs #define tv_usec tv_micro #endif