pub const __NR_mincore: u32 = 218;