pub const __NR_ioprio_get: u32 = 252;