| 71 | } |
| 72 | |
| 73 | static inline void |
| 74 | counter_u64_zero_inline(counter_u64_t c) |
| 75 | { |
| 76 | |
| 77 | smp_rendezvous(smp_no_rendezvous_barrier, counter_u64_zero_one_cpu, |
| 78 | smp_no_rendezvous_barrier, c); |
| 79 | } |
| 80 | #endif |
| 81 | |
| 82 | #define counter_u64_add_protected(c, inc) counter_u64_add(c, inc) |
no test coverage detected