bool TEE_GetCancellationFlag(void) { bool c; TEE_Result res = utee_get_cancellation_flag(&c); if (res != TEE_SUCCESS) c = false; return c; }
bool TEE_GetCancellationFlag(void) { uint32_t c; TEE_Result res = utee_get_cancellation_flag(&c); if (res != TEE_SUCCESS) c = 0; return !!c; }