Function threadx_priority_for 

pub const fn threadx_priority_for(normalized: u8) -> u8

ThreadX native priority (0..=31, lower = higher priority) for a normalized 0–31 priority. RFC-0016: inverted scale 31 - n, so the normalized idle (0) maps to ThreadX 31 (lowest) and normalized critical (31) maps to ThreadX 0 (highest).