diff options
Diffstat (limited to 'include/sparse/rte_vect.h')
-rw-r--r-- | include/sparse/rte_vect.h | 23 |
1 files changed, 0 insertions, 23 deletions
diff --git a/include/sparse/rte_vect.h b/include/sparse/rte_vect.h deleted file mode 100644 index 6f6625b7d..000000000 --- a/include/sparse/rte_vect.h +++ /dev/null @@ -1,23 +0,0 @@ -/* Copyright (c) 2015 Nicira, Inc. - * - * Licensed under the Apache License, Version 2.0 (the "License"); - * you may not use this file except in compliance with the License. - * You may obtain a copy of the License at: - * - * http://www.apache.org/licenses/LICENSE-2.0 - * - * Unless required by applicable law or agreed to in writing, software - * distributed under the License is distributed on an "AS IS" BASIS, - * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. - * See the License for the specific language governing permissions and - * limitations under the License. - */ - -#ifndef __CHECKER__ -#error "Use this header only with sparse. It is not a correct implementation." -#endif - -typedef int __m128i; - -/* Get actual <rte_vect.h> definitions for us to annotate and build on. */ -#include_next <rte_vect.h> |