| 65 | } |
| 66 | |
| 67 | static __inline void |
| 68 | seqc_write_end(seqc_t *seqcp) |
| 69 | { |
| 70 | |
| 71 | atomic_thread_fence_rel(); |
| 72 | *seqcp += 1; |
| 73 | MPASS(!seqc_in_modify(*seqcp)); |
| 74 | critical_exit(); |
| 75 | } |
| 76 | |
| 77 | static __inline seqc_t |
| 78 | seqc_read_any(const seqc_t *seqcp) |
no test coverage detected