original-kernel-headers/linux/avtimer.h

#ifndef _AVTIMER_H
#define _AVTIMER_H

#include <linux/ioctl.h>

#define MAJOR_NUM 100

#define IOCTL_GET_AVTIMER_TICK _IOR(MAJOR_NUM, 0, uint64_t)

#endif