GCC Code Coverage Report
Directory: ./ Exec Total Coverage
File: fxe_media_format.c Lines: 6 6 100.0 %
Date: 2026-03-06 18:49:02 Branches: 12 12 100.0 %

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_media.h"
30
31
32
FX_CALLER_CHECKING_EXTERNS
33
34
35
/**************************************************************************/
36
/*                                                                        */
37
/*  FUNCTION                                               RELEASE        */
38
/*                                                                        */
39
/*    _fxe_media_format                                   PORTABLE C      */
40
/*                                                           6.1.5        */
41
/*  AUTHOR                                                                */
42
/*                                                                        */
43
/*    William E. Lamie, Microsoft Corporation                             */
44
/*                                                                        */
45
/*  DESCRIPTION                                                           */
46
/*                                                                        */
47
/*    This function checks for errors in the media format call.           */
48
/*                                                                        */
49
/*  INPUT                                                                 */
50
/*                                                                        */
51
/*    media_ptr                             Pointer to media control block*/
52
/*                                            (does not need to be opened)*/
53
/*    driver                                Pointer to FileX driver (must */
54
/*                                            be able to field requests   */
55
/*                                            prior to opening)           */
56
/*    driver_info_ptr                       Optional information pointer  */
57
/*    memory_ptr                            Pointer to memory used by the */
58
/*                                            FileX for this media.       */
59
/*    memory_size                           Size of media memory - must   */
60
/*                                            at least 512 bytes and      */
61
/*                                            one sector size.            */
62
/*    volume_name                           Name of the volume            */
63
/*    number_of_fats                        Number of FAT tables          */
64
/*    directory_entries                     Number of directory entries   */
65
/*    hidden_sectors                        Number of hidden sectors      */
66
/*    total_sectors                         Total number of sectors       */
67
/*    bytes_per_sector                      Number of bytes per sector    */
68
/*    sectors_per_cluster                   Number of sectors per cluster */
69
/*    heads                                 Number of heads               */
70
/*    sectors_per_track                     Number of sectors per track   */
71
/*                                                                        */
72
/*  OUTPUT                                                                */
73
/*                                                                        */
74
/*    Completion Status                                                   */
75
/*                                                                        */
76
/*  CALLS                                                                 */
77
/*                                                                        */
78
/*    _fx_media_format                      Actual media format service   */
79
/*                                                                        */
80
/*  CALLED BY                                                             */
81
/*                                                                        */
82
/*    Application Code                                                    */
83
/*                                                                        */
84
/**************************************************************************/
85
6894
UINT  _fxe_media_format(FX_MEDIA *media_ptr, VOID (*driver)(FX_MEDIA *media), VOID *driver_info_ptr, UCHAR *memory_ptr, UINT memory_size,
86
                        CHAR *volume_name, UINT number_of_fats, UINT directory_entries, UINT hidden_sectors,
87
                        ULONG total_sectors, UINT bytes_per_sector, UINT sectors_per_cluster,
88
                        UINT heads, UINT sectors_per_track)
89
{
90
91
UINT status;
92
93
94
    /* Check for invalid input pointers.  */
95

6894
    if ((media_ptr == FX_NULL) || (driver == FX_NULL) || (memory_ptr == FX_NULL))
96
    {
97
273
        return(FX_PTR_ERROR);
98
    }
99
100
    /* Check for a valid caller.  */
101

6621
    FX_CALLER_CHECKING_CODE
102
103
    /* Call actual media format service.  */
104
6213
    status =  _fx_media_format(media_ptr, driver, driver_info_ptr, memory_ptr, memory_size,
105
                               volume_name, number_of_fats, directory_entries, hidden_sectors,
106
                               total_sectors, bytes_per_sector, sectors_per_cluster,
107
                               heads, sectors_per_track);
108
109
    /* Return completion status.  */
110
6213
    return(status);
111
}
112