Function _xtos_restore_just_intlevel 

pub unsafe extern "C" fn _xtos_restore_just_intlevel(
    restoreval: c_uint,
) -> c_uint