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