file_ptr

    A file pointer. If this argument is a NULL pointer, all buffers
    associated with all currently open files are flushed.