Function _utee_get_cancellation_flag 

pub unsafe extern "C" fn _utee_get_cancellation_flag(
    cancel: *mut u32,
) -> TEE_Result