Constant TEEC_ERROR_BAD_PARAMETERS

pub const TEEC_ERROR_BAD_PARAMETERS: uint32_t = 0xFFFF0006;