if (__get_user(opcode, (unsigned char *) instr)) 
if (__get_user(opcode, (unsigned char __user *) instr)) 
static int __is_prefetch(struct pt_regs *regs, unsigned long addr){ 	unsigned long limit;	unsigned long instr = get_segment_eip (regs, &limit);	int scan_more = 1;	int prefetch = 0; 	int i;	for (i = 0; scan_more && i < 15; i++) { 		unsigned char opcode;		unsigned char instr_hi;		unsigned char instr_lo;		if (instr > limit)			break;		if (__get_user(opcode, (unsigned char *) instr))			break; 		instr_hi = opcode & 0xf0; 		instr_lo = opcode & 0x0f; 		instr++;		switch (instr_hi) { 		case 0x20:		case 0x30:			/* Values 0x26,0x2E,0x36,0x3E are valid x86 prefixes. */			scan_more = ((instr_lo & 7) == 0x6);			break;					case 0x60:			/* 0x64 thru 0x67 are valid prefixes in all modes. */			scan_more = (instr_lo & 0xC) == 0x4;			break;				case 0xF0:			/* 0xF0, 0xF2, and 0xF3 are valid prefixes */			scan_more = !instr_lo || (instr_lo>>1) == 1;			break;					case 0x00:			/* Prefetch instruction is 0x0F0D or 0x0F18 */			scan_more = 0;			if (instr > limit)				break;			if (__get_user(opcode, (unsigned char *) instr)) 				break;			prefetch = (instr_lo == 0xF) &&				(opcode == 0x0D || opcode == 0x18);			break;					default:			scan_more = 0;			break;		} 	}	return prefetch;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/c7c5844526f55b93fc9a44170cb7568c9bc95c4a/fault.c/clean/arch/i386/mm/fault.c