BASE_PREFETCH     810 arch/x86/include/asm/processor.h 	alternative_input(BASE_PREFETCH,
BASE_PREFETCH     823 arch/x86/include/asm/processor.h 	alternative_input(BASE_PREFETCH,