Changeset 4621d23 in mainline for kernel/generic/include/verify.h

Timestamp:

2018-09-06T19:54:11Z (6 years ago)

Author:

Jiří Zárevúcky <jiri.zarevucky@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

508b0df1

Parents:

ffa73c6

git-author:

Jiří Zárevúcky <jiri.zarevucky@…> (2018-08-13 03:00:17)

git-committer:

Jiří Zárevúcky <jiri.zarevucky@…> (2018-09-06 19:54:11)

Message:

Use compiler builtins for kernel atomics

File:

• kernel/generic/include/verify.h (modified) (2 diffs)

kernel/generic/include/verify.h

@@ -39 +39 @@
 #ifdef CONFIG_VERIFY_VCC
 
-#define ATOMIC         __specification_attr("atomic_inline", "")
-
 #define READS(ptr)     __specification(reads(ptr))
 #define WRITES(ptr)    __specification(writes(ptr))
@@ -55 +53 @@
 
 #else /* CONFIG_VERIFY_VCC */
-
-#define ATOMIC
 
 #define READS(ptr)