Changeset 33c4f72 in mainline for kernel/generic/include/atomic.h

Timestamp:

2010-06-25T13:38:30Z (14 years ago)

Author:

Martin Decky <martin@…>

Branches:

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

Children:

fc81981

Parents:

09a0bd4a

Message:

improve annotations
move to the newest VCC syntax
use VCC specifications as a separate vcc.h header

File:

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

kernel/generic/include/atomic.h

@@ -41 +41 @@
 
 ATOMIC static inline void atomic_set(atomic_t *val, atomic_count_t i)
+    WRITES(&val->count)
+    REQUIRES_EXTENT_MUTABLE(val)
 {
         val->count = i;
@@ -46 +48 @@
 
 ATOMIC static inline atomic_count_t atomic_get(atomic_t *val)
+    REQUIRES_EXTENT_MUTABLE(val)
 {
         return val->count;