pub const __NR_msync: u32 = 144;