if (__get_user(ud2, (unsigned short *)eip)) 
if (__get_user(ud2, (unsigned short __user *)eip)) 
static void handle_BUG(struct pt_regs *regs){	unsigned short ud2;	unsigned short line;	char *file;	char c;	unsigned long eip;	if (user_mode(regs))		goto no_bug;		/* Not in kernel */	eip = regs->eip;	if (eip < PAGE_OFFSET)		goto no_bug;	if (__get_user(ud2, (unsigned short *)eip))		goto no_bug;	if (ud2 != 0x0b0f)		goto no_bug;	if (__get_user(line, (unsigned short *)(eip + 2)))		goto bug;	if (__get_user(file, (char **)(eip + 4)) ||		(unsigned long)file < PAGE_OFFSET || __get_user(c, file))		file = "<bad filename>";	printk("------------[ cut here ]------------\n");	printk(KERN_ALERT "kernel BUG at %s:%d!\n", file, line);no_bug:	return;	/* Here we know it was a BUG but file-n-line is unavailable */bug:	printk("Kernel BUG\n");}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/3f3ae3471f4c5921274c3869eef21b5611e85b50/traps.c/clean/arch/i386/kernel/traps.c