Ignore:
File:
1 edited

Legend:

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

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