]>
Commit | Line | Data |
---|---|---|
f0468048 EJ |
1 | /* Copyright (c) 2015 Nicira, Inc. |
2 | * | |
3 | * Licensed under the Apache License, Version 2.0 (the "License"); | |
4 | * you may not use this file except in compliance with the License. | |
5 | * You may obtain a copy of the License at: | |
6 | * | |
7 | * http://www.apache.org/licenses/LICENSE-2.0 | |
8 | * | |
9 | * Unless required by applicable law or agreed to in writing, software | |
10 | * distributed under the License is distributed on an "AS IS" BASIS, | |
11 | * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. | |
12 | * See the License for the specific language governing permissions and | |
13 | * limitations under the License. | |
14 | */ | |
15 | ||
16 | #ifndef __CHECKER__ | |
17 | #error "Use this header only with sparse. It is not a correct implementation." | |
18 | #endif | |
19 | ||
20 | typedef int __m128i; | |
21 | ||
22 | /* Get actual <rte_vect.h> definitions for us to annotate and build on. */ | |
23 | #include_next <rte_vect.h> |