/*
* Allocate the ltt_sessions_ht_by_id HT.
+ *
+ * The session list lock must be held.
*/
int ltt_sessions_ht_alloc(void)
{
/*
* Destroy the ltt_sessions_ht_by_id HT.
+ *
+ * The session list lock must be held.
*/
void ltt_sessions_ht_destroy(void)
{