/* This walks the list of robust futexes, releasing them. */