/* FIXME: temporary */
#include "../../../../arm/include/asm/mach/time.h"