pub const __NR_mincore: u32 = 27; // 27u32