Constant kernel_loader::elf::NT_S390_TIMER

pub const NT_S390_TIMER: u32 = 769;