optee_teec_sys

Type Alias TEEC_Result

Source
pub type TEEC_Result = uint32_t;