Function freertos_priority_for 

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

FreeRTOS native priority (0..=configMAX_PRIORITIES-1, here 0–7) for a normalized 0–31 priority. RFC-0016 §Design: linear interpolation (n*7 + 15) / 31 (round-to-nearest), so 0→0 (idle) and 31→7 (highest). Higher number = higher priority on FreeRTOS.