| 82 | #define counter_u64_add_protected(c, inc) counter_u64_add(c, inc) |
| 83 | |
| 84 | static inline void |
| 85 | counter_u64_add(counter_u64_t c, int64_t inc) |
| 86 | { |
| 87 | |
| 88 | atomic_add_64((uint64_t *)zpcpu_get(c), inc); |
| 89 | } |
| 90 | |
| 91 | #endif /* ! __MACHINE_COUNTER_H__ */ |
no test coverage detected