[][src]Type Definition optee_teec_sys::TEEC_Result

type TEEC_Result = uint32_t;