#include <sys/types.h>
#include <inttypes.h>

u_int64_t jiffies_64;
unsigned long jiffies;