Constant kernel_loader::elf::NT_S390_HIGH_GPRS

pub const NT_S390_HIGH_GPRS: u32 = 768;