BASE_PREFETCH
alternative_input(BASE_PREFETCH, "prefetchnta %1",
alternative_input(BASE_PREFETCH, "prefetchw %1",