Constant optee_teec_sys::TEEC_SUCCESS

pub const TEEC_SUCCESS: u32 = 0x00000000;