GCC Code Coverage Report
Directory: ./ Exec Total Coverage
File: fxe_media_read.c Lines: 6 6 100.0 %
Date: 2026-03-06 18:49:02 Branches: 10 10 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
FX_CALLER_CHECKING_EXTERNS
32
33
34
/**************************************************************************/
35
/*                                                                        */
36
/*  FUNCTION                                               RELEASE        */
37
/*                                                                        */
38
/*    _fxe_media_read                                     PORTABLE C      */
39
/*                                                           6.1          */
40
/*  AUTHOR                                                                */
41
/*                                                                        */
42
/*    William E. Lamie, Microsoft Corporation                             */
43
/*                                                                        */
44
/*  DESCRIPTION                                                           */
45
/*                                                                        */
46
/*    This function checks for errors in the media read call.             */
47
/*                                                                        */
48
/*  INPUT                                                                 */
49
/*                                                                        */
50
/*    media_ptr                             Media control block pointer   */
51
/*    logical_sector                        Logical sector to read        */
52
/*    buffer_ptr                            Pointer to caller's buffer    */
53
/*                                                                        */
54
/*  OUTPUT                                                                */
55
/*                                                                        */
56
/*    return status                                                       */
57
/*                                                                        */
58
/*  CALLS                                                                 */
59
/*                                                                        */
60
/*    _fx_media_read                        Actual media read service     */
61
/*                                                                        */
62
/*  CALLED BY                                                             */
63
/*                                                                        */
64
/*    Application Code                                                    */
65
/*                                                                        */
66
/**************************************************************************/
67
4606
UINT  _fxe_media_read(FX_MEDIA *media_ptr, ULONG logical_sector, VOID *buffer_ptr)
68
{
69
70
UINT status;
71
72
73
    /* Check for a null media pointer or buffer pointer.  */
74

4606
    if ((media_ptr == FX_NULL) || (buffer_ptr == FX_NULL))
75
    {
76
137
        return(FX_PTR_ERROR);
77
    }
78
79
    /* Check for a valid caller.  */
80

4469
    FX_CALLER_CHECKING_CODE
81
82
    /* Call actual media read service.  */
83
4061
    status =  _fx_media_read(media_ptr, logical_sector, buffer_ptr);
84
85
    /* Return status to the caller.  */
86
4061
    return(status);
87
}
88