Changeset f56e897f in mainline for kernel/generic/include/verify.h
- Timestamp:
- 2010-06-29T17:43:38Z (14 years ago)
- Branches:
- lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export
- Children:
- 6473d41
- Parents:
- e4a4b44 (diff), 793cf029 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the(diff)
links above to see all the changes relative to each parent. - File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
kernel/generic/include/verify.h
re4a4b44 rf56e897f 39 39 #ifdef CONFIG_VERIFY_VCC 40 40 41 #define ATOMIC __spec_attr("atomic_inline", "") 42 #define REQUIRES(...) __requires(__VA_ARGS__) 41 #define ATOMIC __specification_attr("atomic_inline", "") 42 43 #define READS(ptr) __specification(reads(ptr)) 44 #define WRITES(ptr) __specification(writes(ptr)) 45 #define REQUIRES(...) __specification(requires __VA_ARGS__) 46 47 #define EXTENT(ptr) \extent(ptr) 48 #define ARRAY_RANGE(ptr, nmemb) \array_range(ptr, nmemb) 49 50 #define REQUIRES_EXTENT_MUTABLE(ptr) \ 51 REQUIRES(\extent_mutable(ptr)) 52 53 #define REQUIRES_ARRAY_MUTABLE(ptr, nmemb) \ 54 REQUIRES(\mutable_array(ptr, nmemb)) 43 55 44 56 #else /* CONFIG_VERIFY_VCC */ 45 57 46 58 #define ATOMIC 59 60 #define READS(ptr) 61 #define WRITES(ptr) 47 62 #define REQUIRES(...) 63 64 #define EXTENT(ptr) 65 #define ARRAY_RANGE(ptr, nmemb) 66 67 #define REQUIRES_EXTENT_MUTABLE(ptr) 68 #define REQUIRES_ARRAY_MUTABLE(ptr, nmemb) 48 69 49 70 #endif /* CONFIG_VERIFY_VCC */
Note:
See TracChangeset
for help on using the changeset viewer.