Changeset 313 for trunk/kernel/mm/ppm.h


Ignore:
Timestamp:
Aug 2, 2017, 3:24:57 PM (7 years ago)
Author:
alain
Message:

RSeveral modifs in the page-fault handling.

File:
1 edited

Legend:

Unmodified
Added
Removed

  • trunk/kernel/mm/ppm.h

    r160 r313  
    123123
    124124/*****************************************************************************************
    125  * Get the PPN from the page descriptor pointer.
    126  *****************************************************************************************
    127  * @ page         : pointer to page descriptor
    128  * @ returns physical page number
    129  ****************************************************************************************/
    130 inline ppn_t ppm_page2ppn( page_t * page );
    131 
    132 /*****************************************************************************************
    133  * Get the page descriptor pointer from the PPN.
    134  *****************************************************************************************
    135  * @ ppn          : physical page number
    136  * @ returns pointer on page descriptor
    137  ****************************************************************************************/
    138 inline page_t * ppm_ppn2page( ppn_t ppn );
    139 
    140 /*****************************************************************************************
    141  * Get the page virtual address from the PPN.
    142  *****************************************************************************************
    143  * @ ppn          : physical page number
    144  * @ returns page virtual address.
    145  ****************************************************************************************/
    146 inline void* ppm_ppn2vaddr( ppn_t ppn );
    147 
    148 /*****************************************************************************************
    149  * Get the PPN from the page virtual address.
    150  *****************************************************************************************
    151  * @ vaddr        : page virtual address
    152  * @ returns physical page number.
    153  ****************************************************************************************/
    154 inline ppn_t ppm_vaddr2ppn( void * base );
    155 
    156 /*****************************************************************************************
    157125 * This function prints the PPM allocator status.
    158126 *****************************************************************************************
Note: See TracChangeset for help on using the changeset viewer.