diff options
author | Ben Pfaff <blp@ovn.org> | 2018-07-12 14:55:44 -0700 |
---|---|---|
committer | Ian Stokes <ian.stokes@intel.com> | 2018-07-24 22:36:56 +0100 |
commit | 7a2ce387d8174b4b57133eb1f3689aa833e911c5 (patch) | |
tree | 32107434efd4bbbabfb7fe5e9e5cbd9ceef7629d /include/sparse/xmmintrin.h | |
parent | 773c3cb40f798df6152444fa968aba0679f624af (diff) | |
download | openvswitch-7a2ce387d8174b4b57133eb1f3689aa833e911c5.tar.gz |
sparse: Add support for DPDK.
This allows netdev-dpdk.c to compile cleanly with sparse.
Signed-off-by: Ben Pfaff <blp@ovn.org>
Signed-off-by: Ian Stokes <ian.stokes@intel.com>
Diffstat (limited to 'include/sparse/xmmintrin.h')
-rw-r--r-- | include/sparse/xmmintrin.h | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/include/sparse/xmmintrin.h b/include/sparse/xmmintrin.h new file mode 100644 index 000000000..5d311b911 --- /dev/null +++ b/include/sparse/xmmintrin.h @@ -0,0 +1,24 @@ +/* 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 + +/* sparse doesn't know about this builtin function yet. */ +#define __builtin_ia32_pause() (void) 0 + +/* Get actual <xmmintrin.h> definitions for us to annotate and build on. */ +#include_next <xmmintrin.h> |