Symbol: bad_access_pkey
arch/powerpc/mm/fault.c
497
return bad_access_pkey(regs, address, NULL, vma);
arch/powerpc/mm/fault.c
538
return bad_access_pkey(regs, address, mm, vma);