NT_PPC_PKEY
#ifndef NT_PPC_PKEY
if (nhdr->n_type == NT_PPC_PKEY)
ret = ptrace_read_regs(pid, NT_PPC_PKEY, regs, 3);
ret = ptrace_read_regs(pid, NT_PPC_PKEY, regs, 3);
ret = ptrace_read_regs(pid, NT_PPC_PKEY, regs, 3);
ret = ptrace_write_regs(pid, NT_PPC_PKEY, &info->amr2, 1);
ret = ptrace_write_regs(pid, NT_PPC_PKEY, &info->invalid_amr, 1);
ret = ptrace_write_regs(pid, NT_PPC_PKEY, regs, 2);
ret = ptrace_write_regs(pid, NT_PPC_PKEY, regs, 3);
ret = ptrace_read_regs(pid, NT_PPC_PKEY, regs, 3);