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