Changeset 64 for trunk

Timestamp:

Jun 26, 2017, 5:22:21 PM (7 years ago)

Author:

max@…

Message:

cosmetic and typos

File:

• trunk/hal/generic/hal_ppm.h (modified) (1 diff)

trunk/hal/generic/hal_ppm.h

@@ -43 +43 @@
  * This function initializes the Physical Memory Manager in a given cluster.
  * It allocates physical memory to store the physical page descriptors
- * array (ppm_tbl), and initializes it using the <pages_nr> field in boot_info. 
- * As the physical memory allocator is not available yet, this physical memory is 
- * allocated on top of the the kernel code, using the <pages_offset> field in boot_info. 
- * The pages containingthe kernel code, and the pages marked as <reserved> by the
+ * array (ppm_tbl), and initializes it using the <pages_nr> field in boot_info.
+ * As the physical memory allocator is not available yet, this physical memory is
+ * allocated on top of the kernel code, using the <pages_offset> field in boot_info.
+ * The pages containing the kernel code, and the pages marked as <reserved> by the
  * boot-loader in the boot_info structure are removed from the free-lists.
  ****************************************************************************************
  * @ info       : pointer on the boot_info structure.
- * @ return 0 if success / return ENOMEMM if failure.
+ * @ return 0 if success / return ENOMEM if failure.
  ***************************************************************************************/
 error_t hal_ppm_init( boot_info_t * info );