get_first_held_lock
int i = get_first_held_lock(curr, hlock_next);
i = get_first_held_lock(curr, hlock);