Ignore:
File:
1 edited

Legend:

Unmodified
Added
Removed
  • kernel/generic/include/atomic.h

    rd99c1d2 r7a0359b  
    3838#include <typedefs.h>
    3939#include <arch/atomic.h>
     40#include <verify.h>
    4041
    41 static inline void atomic_set(atomic_t *val, atomic_count_t i)
     42NO_TRACE ATOMIC static inline void atomic_set(atomic_t *val, atomic_count_t i)
     43    WRITES(&val->count)
     44    REQUIRES_EXTENT_MUTABLE(val)
    4245{
    4346        val->count = i;
    4447}
    4548
    46 static inline atomic_count_t atomic_get(atomic_t *val)
     49NO_TRACE ATOMIC static inline atomic_count_t atomic_get(atomic_t *val)
     50    REQUIRES_EXTENT_MUTABLE(val)
    4751{
    4852        return val->count;
Note: See TracChangeset for help on using the changeset viewer.