pub const __NR_modify_ldt: u32 = 123;