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


Ignore:
Timestamp:
Aug 3, 2017, 10:15:18 AM (5 years ago)
Author:
alain
Message:

Redefine the fuctions ppm_base2page() / ppm_page2base() / ppm_page2ppn() / ppm_ppn2page() / ppm_base2ppn() / ppm_ppn2base(),
to use explicitely extended pointers.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/kernel/mm/ppm.h

    r313 r315  
    106106inline bool_t ppm_page_is_valid( page_t * page );
    107107
    108 /*****************************************************************************************
    109  * Get the page virtual address from the page descriptor pointer.
    110  *****************************************************************************************
    111  * @ page         : pointer to page descriptor
    112  * @ returns virtual address of page itself.
    113  ****************************************************************************************/
    114 inline void* ppm_page2vaddr( page_t * page );
     108
    115109
    116110/*****************************************************************************************
    117  * Get the page descriptor pointer from the page virtual address.
     111 * Get extended pointer on page base from extended pointer on page descriptor.
    118112 *****************************************************************************************
    119  * @ vaddr        : page virtual address
    120  * @ returns pointer on page descriptor
     113 * @ page_xp    : extended pointer to page descriptor
     114 * @ returns extended pointer on page base.
    121115 ****************************************************************************************/
    122 inline page_t * ppm_vaddr2page( void * vaddr );
     116inline xptr_t ppm_page2base( xptr_t page_xp );
     117
     118/*****************************************************************************************
     119 * Get extended pointer on page descriptor from extended pointer on page base.
     120 *****************************************************************************************
     121 * @ base_xp   : extended pointer to page base.
     122 * @ returns extended pointer on page descriptor
     123 ****************************************************************************************/
     124inline xptr_t ppm_base2page( xptr_t base_xp );
     125
     126
     127
     128/*****************************************************************************************
     129 * Get extended pointer on page base from Global PPN.
     130 *****************************************************************************************
     131 * @ ppn    : global physical page number.
     132 * @ returns extended pointer on page base.
     133 ****************************************************************************************/
     134inline xptr_t ppm_ppn2base( ppn_t ppn );
     135
     136/*****************************************************************************************
     137 * Get global PPN from extended pointer on page base.
     138 *****************************************************************************************
     139 * @ base_xp   : extended pointer to page base.
     140 * @ returns global physical page number.
     141 ****************************************************************************************/
     142inline ppn_t ppm_base2ppn( xptr_t base_xp );
     143
     144
     145
     146/*****************************************************************************************
     147 * Get global PPN from extended pointer on page descriptor.
     148 *****************************************************************************************
     149 * @ page_xp   : pointer to page descriptor
     150 * @ returns global physical page number.
     151 ****************************************************************************************/
     152inline ppn_t ppm_page2ppn( xptr_t page_xp );
     153
     154/*****************************************************************************************
     155 * Get extended pointer on page descriptor from global PPN.
     156 *****************************************************************************************
     157 * @ ppn       : global physical page number
     158 * @ returns extended pointer on page descriptor.
     159 ****************************************************************************************/
     160inline xptr_t ppm_ppn2page( ppn_t ppn );
     161
     162
    123163
    124164/*****************************************************************************************
Note: See TracChangeset for help on using the changeset viewer.