Constant optee_teec_sys::TEEC_ERROR_SHORT_BUFFER

pub const TEEC_ERROR_SHORT_BUFFER: u32 = 0xFFFF0010;