is_prefetch in arch/x86/mm/fault.c can be called on a user addressthat's not readable due to PKRU. This could break it. You might needto add a get_user_exec or similar.--Andy