arch_wants_old_prefaulted_pte
#ifndef arch_wants_old_prefaulted_pte
if (prefault && arch_wants_old_prefaulted_pte())