Changeset 64


Ignore:
Timestamp:
Jun 26, 2017, 5:22:21 PM (4 years ago)
Author:
max@…
Message:

cosmetic and typos

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/hal/generic/hal_ppm.h

    r53 r64  
    4343 * This function initializes the Physical Memory Manager in a given cluster.
    4444 * It allocates physical memory to store the physical page descriptors
    45  * array (ppm_tbl), and initializes it using the <pages_nr> field in boot_info. 
    46  * As the physical memory allocator is not available yet, this physical memory is 
    47  * allocated on top of the the kernel code, using the <pages_offset> field in boot_info.
    48  * The pages containingthe kernel code, and the pages marked as <reserved> by the
     45 * array (ppm_tbl), and initializes it using the <pages_nr> field in boot_info.
     46 * As the physical memory allocator is not available yet, this physical memory is
     47 * allocated on top of the kernel code, using the <pages_offset> field in boot_info.
     48 * The pages containing the kernel code, and the pages marked as <reserved> by the
    4949 * boot-loader in the boot_info structure are removed from the free-lists.
    5050 ****************************************************************************************
    5151 * @ info       : pointer on the boot_info structure.
    52  * @ return 0 if success / return ENOMEMM if failure.
     52 * @ return 0 if success / return ENOMEM if failure.
    5353 ***************************************************************************************/
    5454error_t hal_ppm_init( boot_info_t * info );
Note: See TracChangeset for help on using the changeset viewer.