Function nros_platform_critical_section_release 

pub unsafe extern "C" fn nros_platform_critical_section_release(
    token: u32,
)