| 117 | } |
| 118 | |
| 119 | void |
| 120 | ck_hp_unregister(struct ck_hp_record *entry) |
| 121 | { |
| 122 | |
| 123 | entry->n_pending = 0; |
| 124 | entry->n_peak = 0; |
| 125 | entry->n_reclamations = 0; |
| 126 | ck_stack_init(&entry->pending); |
| 127 | ck_pr_fence_store(); |
| 128 | ck_pr_store_int(&entry->state, CK_HP_FREE); |
| 129 | ck_pr_inc_uint(&entry->global->n_free); |
| 130 | return; |
| 131 | } |
| 132 | |
| 133 | void |
| 134 | ck_hp_register(struct ck_hp *state, |
nothing calls this directly
no test coverage detected