Searched refs:ckr_lease_idx (Results 1 – 1 of 1) sorted by relevance
446 slot_idx_t ckr_lease_idx; member861 *ticket = kr->ckr_lease_idx; in kr_reserve_slots_locked()863 kr->ckr_lease_idx = SLOT_NEXT(*ticket, lim); in kr_reserve_slots_locked()875 ASSERT(kr->ckr_lease_idx < kr->ckr_num_slots); in kr_reserve_slots_locked()908 while (ticket != kr->ckr_lease_idx && in kr_publish_slots()