3712 /* * This structure is used when the number of open files is * <= NDFILE, and are then pointed to by the pointers above. */