do_gettimeofday() 버그? 관련 질문드립니다.

[code]
device.c
 
//mytimer[0] -> ISR_GAP_TOTAL
//mytimer[1] -> ISR_GAP
//mytimer[2] -> ISR_GAP_MAX
//mytimer[3] -> ISR_GAP_MIN
//mytimer[4] -> ISR_GAP_AVAG
 
struct timeval mytimer[5];
struct timeval inttime1,inttime2;
 
/********** Timevals Macro Function*******************************************/
//중략
/**************************************************************************/
 
unsigned long long	  intcount = 0;
 
void int_clear(void)
{
	int lp;
 
	for(lp = 0; lp < 5; lp++)
	    //모듈로드시 mytimer[5] 초기화
	intcount = 0;
}
//인터럽트가 발생할때마다 시간을 측정하여 인터럽트의 간격을 구한다.
irqreturn_t int_interrupt(int irq, void *dev_id)
{
	//mytimer[0] -> ISR_GAP_TOTAL
	//mytimer[1] -> ISR_GAP
	//mytimer[2] -> ISR_GAP_MAX
	//mytimer[3] -> ISR_GAP_MIN
	//mytimer[4] -> ISR_GAP_AVAG
	switch(intcount)
	{
	case 0 :
		do_gettimeofday(&inttime1);
		break;
 
	case 1 :
		do_gettimeofday(&inttime2);
                //시간간격을 구한다.  
		break;
 
	default :
		switch(intcount%2)
		{
		case 0 :
			do_gettimeofday(&inttime1);
	                // 최대값과 최소값을 구한다.
			break;
 
		case 1 :
			do_gettimeofday(&inttime2);
                        // 최대값과 최소값을 구한다.
			break;
		}
	}
	intcount++;
	return IRQ_HANDLED;
}
 
int int_open(struct inode *inode ,struct file *filp)
{
	GateArrayInit();
	request_irq(EPS_IRQ, int_interrupt, IRQF_DISABLED, INT_DEV_NAME,NULL);
	return 0;
}
 
ssize_t int_read(struct file *filp, char *buf, size_t count, loff_t *f_pos)
{
	char	*ptrdata;
 
	int	loop;
 
	ptrdata = (char *)&mytimer[0];
 
	for(loop = 0; loop < 5*sizeof(struct timeval); loop++)
		put_user(ptrdata[loop], (char *)&buf[loop]);
	return intcount;
}
 
APP.C
//디바이스 드라이버를 1초마다 READ함수를 이용하여 접근하고 저장되어진 인터럽트 관련된 정보(배열)을 가지고 와서 출력한다.
	dev = open(DEVICE_FILENAME, O_RDWR|O_NDELAY);
	if(dev >=0)
	{
		printf("start...\n");
 
		printf("wait... input\n");
		while(1)
		{
			if(!intcount)
			{
				memset(mytimer, 0 , sizeof(mytimer));
				intcount = read(dev,(char*)&mytimer[0],sizeof(struct timeval));
				break;
			}
			else
				printf("input ok...\n");
		}
		while(1)
		{
			intcount = read(dev,(char *)mytimer, sizeof(mytimer));
			printf("interrupt count = %lu\n",intcount);
			printf("interrupt ISR_GAP_MAX = %20lu.%09lu\n",mytimer[2].tv_sec,mytimer[2].tv_usec);
			printf("interrupt ISR_GAP_MIN = %20lu.%09lu\n",mytimer[3].tv_sec,mytimer[3].tv_usec);
			sleep(1);
		}
		close(dev);