Head

GCC Code Coverage Report

Directory:	./		Exec	Total	Coverage
File:	fx_media_flush.c	Lines:	78	78	100.0 %
Date:	2026-03-06 18:49:02	Branches:	28	28	100.0 %


/***************************************************************************
 * Copyright (c) 2024 Microsoft Corporation
 * Copyright (c) 2026-present Eclipse ThreadX contributors
 *
 * This program and the accompanying materials are made available under the
 * terms of the MIT License which is available at
 * https://opensource.org/licenses/MIT.
 *
 * SPDX-License-Identifier: MIT
 **************************************************************************/


/**************************************************************************/
/**************************************************************************/
/**                                                                       */
/** FileX Component                                                       */
/**                                                                       */
/**   Media                                                               */
/**                                                                       */
/**************************************************************************/
/**************************************************************************/

#define FX_SOURCE_CODE


/* Include necessary system files.  */

#include "fx_api.h"
#include "fx_system.h"
#include "fx_media.h"
#include "fx_file.h"
#include "fx_directory.h"
#include "fx_utility.h"


/**************************************************************************/
/*                                                                        */
/*  FUNCTION                                               RELEASE        */
/*                                                                        */
/*    _fx_media_flush                                     PORTABLE C      */
/*                                                           6.1          */
/*  AUTHOR                                                                */
/*                                                                        */
/*    William E. Lamie, Microsoft Corporation                             */
/*                                                                        */
/*  DESCRIPTION                                                           */
/*                                                                        */
/*    This function examines the list of open files for this media and    */
/*    "flushes" each written open file to the underlying media.  After    */
/*    the open files have been flushed, the internal logical sector is    */
/*    flushed.  Finally, the attached driver is sent a flush command so   */
/*    that it can flush its sector cache (if any) to the media.           */
/*                                                                        */
/*  INPUT                                                                 */
/*                                                                        */
/*    media_ptr                             Media control block pointer   */
/*                                                                        */
/*  OUTPUT                                                                */
/*                                                                        */
/*    return status                                                       */
/*                                                                        */
/*  CALLS                                                                 */
/*                                                                        */
/*    _fx_directory_entry_write             Write the directory entry     */
/*    _fx_utility_FAT_flush                 Flush cached FAT entries      */
/*    _fx_utility_FAT_map_flush             Flush primary FAT changes to  */
/*                                            secondary FAT(s)            */
/*    _fx_utility_logical_sector_flush      Flush logical sector cache    */
/*    _fx_utility_32_unsigned_read          Read 32-bit unsigned          */
/*    _fx_utility_32_unsigned_write         Write 32-bit unsigned         */
/*                                                                        */
/*  CALLED BY                                                             */
/*                                                                        */
/*    Application Code                                                    */
/*                                                                        */
/**************************************************************************/
UINT  _fx_media_flush(FX_MEDIA  *media_ptr)
{

UINT     status;
ULONG    open_count;
FX_FILE *file_ptr;
FX_INT_SAVE_AREA


#ifndef FX_MEDIA_STATISTICS_DISABLE

    /* Increment the number of times this service has been called.  */
    media_ptr -> fx_media_flushes++;
#endif

    /* Check the media to make sure it is open.  */
    if (media_ptr -> fx_media_id != FX_MEDIA_ID)
    {

        /* Return the media not opened error.  */
        return(FX_MEDIA_NOT_OPEN);
    }

    /* If trace is enabled, insert this event into the trace buffer.  */
    FX_TRACE_IN_LINE_INSERT(FX_TRACE_MEDIA_FLUSH, media_ptr, 0, 0, 0, FX_TRACE_MEDIA_EVENTS, 0, 0)

    /* Protect against other threads accessing the media.  */
    FX_PROTECT

    /* Check for write protect at the media level (set by driver).  */
    if (media_ptr -> fx_media_driver_write_protect)
    {

        /* Release media protection.  */
        FX_UNPROTECT

        /* Return write protect error.  */
        return(FX_WRITE_PROTECT);
    }

    /* Loop through the media's open files.  */
    open_count =  media_ptr -> fx_media_opened_file_count;
    file_ptr =    media_ptr -> fx_media_opened_file_list;
    while (open_count)
    {

        /* Look at each opened file to see if the same file is opened
           for writing and has been written to.  */
        if ((file_ptr -> fx_file_open_mode == FX_OPEN_FOR_WRITE) &&
            (file_ptr -> fx_file_modified))
        {

            /* Protect against update.  */
            FX_DISABLE_INTS

            /* Set the new time and date.  */
            file_ptr -> fx_file_dir_entry.fx_dir_entry_time =  _fx_system_time;
            file_ptr -> fx_file_dir_entry.fx_dir_entry_date =  _fx_system_date;

            /* Restore interrupts.  */
            FX_RESTORE_INTS

            /* Copy the new file size into the directory entry.  */
            file_ptr -> fx_file_dir_entry.fx_dir_entry_file_size =
                file_ptr -> fx_file_current_file_size;

            /* Write the directory entry to the media.  */
            status = _fx_directory_entry_write(media_ptr, &(file_ptr -> fx_file_dir_entry));

            /* Check for a good status.  */
            if (status != FX_SUCCESS)
            {

                /* Release media protection.  */
                FX_UNPROTECT

                /* Error writing the directory.  */
                return(status);
            }

            /* Clear the file modified flag.  */
            file_ptr -> fx_file_modified =  FX_FALSE;
        }

        /* Adjust the pointer and decrement the opened count.  */
        file_ptr =  file_ptr -> fx_file_opened_next;
        open_count--;
    }

    /* Flush the cached individual FAT entries */
    _fx_utility_FAT_flush(media_ptr);

    /* Flush changed sector(s) in the primary FAT to secondary FATs.  */
    _fx_utility_FAT_map_flush(media_ptr);


    /* Flush the internal logical sector cache.  */
    status =  _fx_utility_logical_sector_flush(media_ptr, ((ULONG64) 1), (ULONG64) (media_ptr -> fx_media_total_sectors), FX_FALSE);

    /* Check for a good status.  */
    if (status != FX_SUCCESS)
    {

        /* Release media protection.  */
        FX_UNPROTECT

        /* Error writing the directory.  */
        return(status);
    }

    /* Determine if the media needs to have the additional information sector updated. This will
       only be the case for 32-bit FATs. The logic here only needs to be done if the last reported
       available cluster count is different that the currently available clusters.  */
    if ((media_ptr -> fx_media_FAT32_additional_info_sector) &&
        (media_ptr -> fx_media_FAT32_additional_info_last_available != media_ptr -> fx_media_available_clusters))
    {

    UCHAR *buffer_ptr;
    ULONG  signature;

#ifndef FX_DISABLE_CACHE

        /* Setup a pointer to the first cached entry's buffer.  */
        buffer_ptr =  (media_ptr -> fx_media_sector_cache_list_ptr) -> fx_cached_sector_memory_buffer;

        /* Invalidate this cache entry.  */
        (media_ptr -> fx_media_sector_cache_list_ptr) -> fx_cached_sector =  (~(ULONG64)0);
        (media_ptr -> fx_media_sector_cache_list_ptr) -> fx_cached_sector_valid =  FX_FALSE;
#else
        buffer_ptr =  media_ptr -> fx_media_memory_buffer;
#endif /* FX_DISABLE_CACHE */

        /* Read the FAT32 additional information sector from the device.  */
        media_ptr -> fx_media_driver_request =          FX_DRIVER_READ;
        media_ptr -> fx_media_driver_status =           FX_IO_ERROR;
        media_ptr -> fx_media_driver_buffer =           buffer_ptr;
        media_ptr -> fx_media_driver_logical_sector =   media_ptr -> fx_media_FAT32_additional_info_sector;
        media_ptr -> fx_media_driver_sectors =          1;
        media_ptr -> fx_media_driver_sector_type =      FX_DIRECTORY_SECTOR;

#ifndef FX_MEDIA_STATISTICS_DISABLE

        /* Increment the number of driver read sector(s) requests.  */
        media_ptr -> fx_media_driver_read_requests++;
#endif

        /* If trace is enabled, insert this event into the trace buffer.  */
        FX_TRACE_IN_LINE_INSERT(FX_TRACE_INTERNAL_IO_DRIVER_READ, media_ptr, media_ptr -> fx_media_FAT32_additional_info_sector, 1, buffer_ptr, FX_TRACE_INTERNAL_EVENTS, 0, 0)

        /* Invoke the driver to read the FAT32 additional information sector.  */
        (media_ptr -> fx_media_driver_entry) (media_ptr);

        /* Determine if the FAT32 sector was read correctly. */
        if (media_ptr -> fx_media_driver_status != FX_SUCCESS)
        {

            /* Release media protection.  */
            FX_UNPROTECT

            /* Return the error status.  */
            return(FX_IO_ERROR);
        }

        /* Setup a pointer into the FAT32 additional information sector.  */
        buffer_ptr =  media_ptr -> fx_media_driver_buffer;

        /* Pickup the first signature long word.  */
        signature =  _fx_utility_32_unsigned_read(&buffer_ptr[0]);

        /* Determine if the signature is correct.  */
        if (signature == 0x41615252)
        {

            /* Yes, the first signature is correct, now pickup the next signature.  */
            signature =  _fx_utility_32_unsigned_read(&buffer_ptr[484]);

            /* Determine if this signature is correct.  */
            if (signature == 0x61417272)
            {

                /* Yes, we have a good FAT32 additional information sector.  */

                /* Set the free cluster count to the available clusters in the media control block.  */
                _fx_utility_32_unsigned_write(&buffer_ptr[488], media_ptr -> fx_media_available_clusters);

                /* Set the next free cluster number hint to starting search cluster in the media control block.  */
                _fx_utility_32_unsigned_write(&buffer_ptr[492], media_ptr -> fx_media_cluster_search_start);

                /* Now write the sector back out to the media.  */
                media_ptr -> fx_media_driver_request =          FX_DRIVER_WRITE;
                media_ptr -> fx_media_driver_status =           FX_IO_ERROR;
                media_ptr -> fx_media_driver_buffer =           buffer_ptr;
                media_ptr -> fx_media_driver_logical_sector =   media_ptr -> fx_media_FAT32_additional_info_sector;
                media_ptr -> fx_media_driver_sectors =          1;
                media_ptr -> fx_media_driver_sector_type =      FX_DIRECTORY_SECTOR;

                /* Set the system write flag since we are writing a directory sector.  */
                media_ptr -> fx_media_driver_system_write =  FX_TRUE;

#ifndef FX_MEDIA_STATISTICS_DISABLE

                /* Increment the number of driver write sector(s) requests.  */
                media_ptr -> fx_media_driver_write_requests++;
#endif

                /* If trace is enabled, insert this event into the trace buffer.  */
                FX_TRACE_IN_LINE_INSERT(FX_TRACE_INTERNAL_IO_DRIVER_WRITE, media_ptr, media_ptr -> fx_media_FAT32_additional_info_sector, 1, buffer_ptr, FX_TRACE_INTERNAL_EVENTS, 0, 0)

                /* Invoke the driver to write the FAT32 additional information sector.  */
                (media_ptr -> fx_media_driver_entry) (media_ptr);

                /* Clear the system write flag.  */
                media_ptr -> fx_media_driver_system_write =  FX_FALSE;

                /* Determine if the FAT32 sector was written correctly. */
                if (media_ptr -> fx_media_driver_status != FX_SUCCESS)
                {

                    /* Release media protection.  */
                    FX_UNPROTECT

                    /* Return the sector IO error status.  */
                    return(FX_IO_ERROR);
                }

                /* Successful update of the FAT32 additional information sector. Update the
                   last written available cluster count.  */
                media_ptr -> fx_media_FAT32_additional_info_last_available =  media_ptr -> fx_media_available_clusters;
            }
        }
    }

#ifndef FX_MEDIA_STATISTICS_DISABLE

    /* Increment the number of driver flush requests.  */
    media_ptr -> fx_media_driver_flush_requests++;
#endif

    /* Build the "flush" I/O driver request.  */
    media_ptr -> fx_media_driver_request =      FX_DRIVER_FLUSH;
    media_ptr -> fx_media_driver_status =       FX_IO_ERROR;

    /* If trace is enabled, insert this event into the trace buffer.  */
    FX_TRACE_IN_LINE_INSERT(FX_TRACE_INTERNAL_IO_DRIVER_FLUSH, media_ptr, 0, 0, 0, FX_TRACE_INTERNAL_EVENTS, 0, 0)

    /* Call the specified I/O driver with the flush request.  */
    (media_ptr -> fx_media_driver_entry) (media_ptr);

    /* Determine if the I/O driver flushed successfully.  */
    if (media_ptr -> fx_media_driver_status != FX_SUCCESS)
    {

        /* Release media protection.  */
        FX_UNPROTECT

        /* Return the driver error status.  */
        return(FX_IO_ERROR);
    }

    /* Release media protection.  */
    FX_UNPROTECT

    /* If we get here, return successful status to the caller.  */
    return(FX_SUCCESS);
}



Generated by: GCOVR (Version 4.1)

Line	Branch	Exec	Source
1			/***************************************************************************
2			* Copyright (c) 2024 Microsoft Corporation
3			* Copyright (c) 2026-present Eclipse ThreadX contributors
4			*
5			* This program and the accompanying materials are made available under the
6			* terms of the MIT License which is available at
7			* https://opensource.org/licenses/MIT.
8			*
9			* SPDX-License-Identifier: MIT
10			**************************************************************************/
11
12
13			/**************************************************************************/
14			/**************************************************************************/
15			/** */
16			/** FileX Component */
17			/** */
18			/** Media */
19			/** */
20			/**************************************************************************/
21			/**************************************************************************/
22
23			#define FX_SOURCE_CODE
24
25
26			/* Include necessary system files. */
27
28			#include "fx_api.h"
29			#include "fx_system.h"
30			#include "fx_media.h"
31			#include "fx_file.h"
32			#include "fx_directory.h"
33			#include "fx_utility.h"
34
35
36			/**************************************************************************/
37			/* */
38			/* FUNCTION RELEASE */
39			/* */
40			/* _fx_media_flush PORTABLE C */
41			/* 6.1 */
42			/* AUTHOR */
43			/* */
44			/* William E. Lamie, Microsoft Corporation */
45			/* */
46			/* DESCRIPTION */
47			/* */
48			/* This function examines the list of open files for this media and */
49			/* "flushes" each written open file to the underlying media. After */
50			/* the open files have been flushed, the internal logical sector is */
51			/* flushed. Finally, the attached driver is sent a flush command so */
52			/* that it can flush its sector cache (if any) to the media. */
53			/* */
54			/* INPUT */
55			/* */
56			/* media_ptr Media control block pointer */
57			/* */
58			/* OUTPUT */
59			/* */
60			/* return status */
61			/* */
62			/* CALLS */
63			/* */
64			/* _fx_directory_entry_write Write the directory entry */
65			/* _fx_utility_FAT_flush Flush cached FAT entries */
66			/* _fx_utility_FAT_map_flush Flush primary FAT changes to */
67			/* secondary FAT(s) */
68			/* _fx_utility_logical_sector_flush Flush logical sector cache */
69			/* _fx_utility_32_unsigned_read Read 32-bit unsigned */
70			/* _fx_utility_32_unsigned_write Write 32-bit unsigned */
71			/* */
72			/* CALLED BY */
73			/* */
74			/* Application Code */
75			/* */
76			/**************************************************************************/
77		33016	UINT _fx_media_flush(FX_MEDIA *media_ptr)
78			{
79
80			UINT status;
81			ULONG open_count;
82			FX_FILE *file_ptr;
83			FX_INT_SAVE_AREA
84
85
86			#ifndef FX_MEDIA_STATISTICS_DISABLE
87
88			/* Increment the number of times this service has been called. */
89		33016	media_ptr -> fx_media_flushes++;
90			#endif
91
92			/* Check the media to make sure it is open. */
93	✓✓	33016	if (media_ptr -> fx_media_id != FX_MEDIA_ID)
94			{
95
96			/* Return the media not opened error. */
97		1	return(FX_MEDIA_NOT_OPEN);
98			}
99
100			/* If trace is enabled, insert this event into the trace buffer. */
101			FX_TRACE_IN_LINE_INSERT(FX_TRACE_MEDIA_FLUSH, media_ptr, 0, 0, 0, FX_TRACE_MEDIA_EVENTS, 0, 0)
102
103			/* Protect against other threads accessing the media. */
104		33015	FX_PROTECT
105
106			/* Check for write protect at the media level (set by driver). */
107	✓✓	33015	if (media_ptr -> fx_media_driver_write_protect)
108			{
109
110			/* Release media protection. */
111		1	FX_UNPROTECT
112
113			/* Return write protect error. */
114		1	return(FX_WRITE_PROTECT);
115			}
116
117			/* Loop through the media's open files. */
118		33014	open_count = media_ptr -> fx_media_opened_file_count;
119		33014	file_ptr = media_ptr -> fx_media_opened_file_list;
120	✓✓	124145	while (open_count)
121			{
122
123			/* Look at each opened file to see if the same file is opened
124			for writing and has been written to. */
125	✓✓	91132	if ((file_ptr -> fx_file_open_mode == FX_OPEN_FOR_WRITE) &&
126	✓✓	55581	(file_ptr -> fx_file_modified))
127			{
128
129			/* Protect against update. */
130		20899	FX_DISABLE_INTS
131
132			/* Set the new time and date. */
133		20899	file_ptr -> fx_file_dir_entry.fx_dir_entry_time = _fx_system_time;
134		20899	file_ptr -> fx_file_dir_entry.fx_dir_entry_date = _fx_system_date;
135
136			/* Restore interrupts. */
137		20899	FX_RESTORE_INTS
138
139			/* Copy the new file size into the directory entry. */
140		20899	file_ptr -> fx_file_dir_entry.fx_dir_entry_file_size =
141		20899	file_ptr -> fx_file_current_file_size;
142
143			/* Write the directory entry to the media. */
144		20899	status = _fx_directory_entry_write(media_ptr, &(file_ptr -> fx_file_dir_entry));
145
146			/* Check for a good status. */
147	✓✓	20899	if (status != FX_SUCCESS)
148			{
149
150			/* Release media protection. */
151		1	FX_UNPROTECT
152
153			/* Error writing the directory. */
154		1	return(status);
155			}
156
157			/* Clear the file modified flag. */
158		20898	file_ptr -> fx_file_modified = FX_FALSE;
159			}
160
161			/* Adjust the pointer and decrement the opened count. */
162		91131	file_ptr = file_ptr -> fx_file_opened_next;
163		91131	open_count--;
164			}
165
166			/* Flush the cached individual FAT entries */
167		33013	_fx_utility_FAT_flush(media_ptr);
168
169			/* Flush changed sector(s) in the primary FAT to secondary FATs. */
170		33013	_fx_utility_FAT_map_flush(media_ptr);
171
172
173			/* Flush the internal logical sector cache. */
174		33013	status = _fx_utility_logical_sector_flush(media_ptr, ((ULONG64) 1), (ULONG64) (media_ptr -> fx_media_total_sectors), FX_FALSE);
175
176			/* Check for a good status. */
177	✓✓	33013	if (status != FX_SUCCESS)
178			{
179
180			/* Release media protection. */
181		1	FX_UNPROTECT
182
183			/* Error writing the directory. */
184		1	return(status);
185			}
186
187			/* Determine if the media needs to have the additional information sector updated. This will
188			only be the case for 32-bit FATs. The logic here only needs to be done if the last reported
189			available cluster count is different that the currently available clusters. */
190	✓✓	33012	if ((media_ptr -> fx_media_FAT32_additional_info_sector) &&
191	✓✓	1027	(media_ptr -> fx_media_FAT32_additional_info_last_available != media_ptr -> fx_media_available_clusters))
192			{
193
194			UCHAR *buffer_ptr;
195			ULONG signature;
196
197			#ifndef FX_DISABLE_CACHE
198
199			/* Setup a pointer to the first cached entry's buffer. */
200		1008	buffer_ptr = (media_ptr -> fx_media_sector_cache_list_ptr) -> fx_cached_sector_memory_buffer;
201
202			/* Invalidate this cache entry. */
203		1008	(media_ptr -> fx_media_sector_cache_list_ptr) -> fx_cached_sector = (~(ULONG64)0);
204		1008	(media_ptr -> fx_media_sector_cache_list_ptr) -> fx_cached_sector_valid = FX_FALSE;
205			#else
206			buffer_ptr = media_ptr -> fx_media_memory_buffer;
207			#endif /* FX_DISABLE_CACHE */
208
209			/* Read the FAT32 additional information sector from the device. */
210		1008	media_ptr -> fx_media_driver_request = FX_DRIVER_READ;
211		1008	media_ptr -> fx_media_driver_status = FX_IO_ERROR;
212		1008	media_ptr -> fx_media_driver_buffer = buffer_ptr;
213		1008	media_ptr -> fx_media_driver_logical_sector = media_ptr -> fx_media_FAT32_additional_info_sector;
214		1008	media_ptr -> fx_media_driver_sectors = 1;
215		1008	media_ptr -> fx_media_driver_sector_type = FX_DIRECTORY_SECTOR;
216
217			#ifndef FX_MEDIA_STATISTICS_DISABLE
218
219			/* Increment the number of driver read sector(s) requests. */
220		1008	media_ptr -> fx_media_driver_read_requests++;
221			#endif
222
223			/* If trace is enabled, insert this event into the trace buffer. */
224			FX_TRACE_IN_LINE_INSERT(FX_TRACE_INTERNAL_IO_DRIVER_READ, media_ptr, media_ptr -> fx_media_FAT32_additional_info_sector, 1, buffer_ptr, FX_TRACE_INTERNAL_EVENTS, 0, 0)
225
226			/* Invoke the driver to read the FAT32 additional information sector. */
227		1008	(media_ptr -> fx_media_driver_entry) (media_ptr);
228
229			/* Determine if the FAT32 sector was read correctly. */
230	✓✓	1008	if (media_ptr -> fx_media_driver_status != FX_SUCCESS)
231			{
232
233			/* Release media protection. */
234		205	FX_UNPROTECT
235
236			/* Return the error status. */
237		205	return(FX_IO_ERROR);
238			}
239
240			/* Setup a pointer into the FAT32 additional information sector. */
241		803	buffer_ptr = media_ptr -> fx_media_driver_buffer;
242
243			/* Pickup the first signature long word. */
244		803	signature = _fx_utility_32_unsigned_read(&buffer_ptr[0]);
245
246			/* Determine if the signature is correct. */
247	✓✓	803	if (signature == 0x41615252)
248			{
249
250			/* Yes, the first signature is correct, now pickup the next signature. */
251		801	signature = _fx_utility_32_unsigned_read(&buffer_ptr[484]);
252
253			/* Determine if this signature is correct. */
254	✓✓	801	if (signature == 0x61417272)
255			{
256
257			/* Yes, we have a good FAT32 additional information sector. */
258
259			/* Set the free cluster count to the available clusters in the media control block. */
260		800	_fx_utility_32_unsigned_write(&buffer_ptr[488], media_ptr -> fx_media_available_clusters);
261
262			/* Set the next free cluster number hint to starting search cluster in the media control block. */
263		800	_fx_utility_32_unsigned_write(&buffer_ptr[492], media_ptr -> fx_media_cluster_search_start);
264
265			/* Now write the sector back out to the media. */
266		800	media_ptr -> fx_media_driver_request = FX_DRIVER_WRITE;
267		800	media_ptr -> fx_media_driver_status = FX_IO_ERROR;
268		800	media_ptr -> fx_media_driver_buffer = buffer_ptr;
269		800	media_ptr -> fx_media_driver_logical_sector = media_ptr -> fx_media_FAT32_additional_info_sector;
270		800	media_ptr -> fx_media_driver_sectors = 1;
271		800	media_ptr -> fx_media_driver_sector_type = FX_DIRECTORY_SECTOR;
272
273			/* Set the system write flag since we are writing a directory sector. */
274		800	media_ptr -> fx_media_driver_system_write = FX_TRUE;
275
276			#ifndef FX_MEDIA_STATISTICS_DISABLE
277
278			/* Increment the number of driver write sector(s) requests. */
279		800	media_ptr -> fx_media_driver_write_requests++;
280			#endif
281
282			/* If trace is enabled, insert this event into the trace buffer. */
283			FX_TRACE_IN_LINE_INSERT(FX_TRACE_INTERNAL_IO_DRIVER_WRITE, media_ptr, media_ptr -> fx_media_FAT32_additional_info_sector, 1, buffer_ptr, FX_TRACE_INTERNAL_EVENTS, 0, 0)
284
285			/* Invoke the driver to write the FAT32 additional information sector. */
286		800	(media_ptr -> fx_media_driver_entry) (media_ptr);
287
288			/* Clear the system write flag. */
289		800	media_ptr -> fx_media_driver_system_write = FX_FALSE;
290
291			/* Determine if the FAT32 sector was written correctly. */
292	✓✓	800	if (media_ptr -> fx_media_driver_status != FX_SUCCESS)
293			{
294
295			/* Release media protection. */
296		90	FX_UNPROTECT
297
298			/* Return the sector IO error status. */
299		90	return(FX_IO_ERROR);
300			}
301
302			/* Successful update of the FAT32 additional information sector. Update the
303			last written available cluster count. */
304		710	media_ptr -> fx_media_FAT32_additional_info_last_available = media_ptr -> fx_media_available_clusters;
305			}
306			}
307			}
308
309			#ifndef FX_MEDIA_STATISTICS_DISABLE
310
311			/* Increment the number of driver flush requests. */
312		32717	media_ptr -> fx_media_driver_flush_requests++;
313			#endif
314
315			/* Build the "flush" I/O driver request. */
316		32717	media_ptr -> fx_media_driver_request = FX_DRIVER_FLUSH;
317		32717	media_ptr -> fx_media_driver_status = FX_IO_ERROR;
318
319			/* If trace is enabled, insert this event into the trace buffer. */
320			FX_TRACE_IN_LINE_INSERT(FX_TRACE_INTERNAL_IO_DRIVER_FLUSH, media_ptr, 0, 0, 0, FX_TRACE_INTERNAL_EVENTS, 0, 0)
321
322			/* Call the specified I/O driver with the flush request. */
323		32717	(media_ptr -> fx_media_driver_entry) (media_ptr);
324
325			/* Determine if the I/O driver flushed successfully. */
326	✓✓	32717	if (media_ptr -> fx_media_driver_status != FX_SUCCESS)
327			{
328
329			/* Release media protection. */
330		100	FX_UNPROTECT
331
332			/* Return the driver error status. */
333		100	return(FX_IO_ERROR);
334			}
335
336			/* Release media protection. */
337		32617	FX_UNPROTECT
338
339			/* If we get here, return successful status to the caller. */
340		32617	return(FX_SUCCESS);
341			}
342