/* head of list of open files */ /* * A list (head) of open files, counter, and lock protecting them. */