kernel_loader::elf

Constant NT_PPC_PKEY

Source 
pub const NT_PPC_PKEY: u32 = 272;