9 #include <tee_internal_api.h> 13 typedef unsigned long TEES_UDF_InterruptHandle;
20 DSO_EXPORT TEE_Result TEES_UDF_RunInterruptsHandlerThread(
void);
27 DSO_EXPORT TEE_Result TEES_UDF_StopInterruptsHandlerThread(
void);
52 DSO_EXPORT TEE_Result TEES_UDF_AllocateInterrupt(
int nr, TEES_UDF_InterruptHandle *intr);
73 DSO_EXPORT TEE_Result TEES_UDF_ReleaseInterrupt(TEES_UDF_InterruptHandle intr);
101 DSO_EXPORT TEE_Result TEES_UDF_GenerateInterrupt(TEES_UDF_InterruptHandle intr);
109 DSO_EXPORT TEE_Result TEES_UDF_CompleteInterrupt(TEES_UDF_InterruptHandle intr);
117 DSO_EXPORT TEE_Result TEES_UDF_ClearPendingInterrupt(TEES_UDF_InterruptHandle intr);
148 DSO_EXPORT TEE_Result TEES_UDF_WaitForInterrupt(TEES_UDF_InterruptHandle intr, uint32_t timeout_ms);