Constant kernel_loader::elf::NT_PPC_DEXCR

pub const NT_PPC_DEXCR: u32 = 273;