BASE_PREFETCH     795 arch/x86/include/asm/processor.h 	alternative_input(BASE_PREFETCH, "prefetchnta %P1",
BASE_PREFETCH     807 arch/x86/include/asm/processor.h 	alternative_input(BASE_PREFETCH, "prefetchw %P1",