alternative_input(ASM_NOP5, 
alternative_input("prefetcht0 (%1)", 
static inline void prefetchw(void *x) { 	alternative_input(ASM_NOP5,			  "prefetchw (%1)",			  X86_FEATURE_3DNOW,			  "r" (x));} 
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/19aaabb5841439988fc357f90d5c59d28fa84658/processor.h/buggy/include/asm-x86_64/processor.h