pub const NT_S390_TIMER: u32 = 769;