kernel_loader::elf

Constant NT_PPC_VMX

Source 
pub const NT_PPC_VMX: u32 = 256;