pub fn sys_sched_get_priority_max( _locked: &mut Locked<Unlocked>, _ctx: &CurrentTask, policy: u32, ) -> Result<u8, Errno>