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

RSeveral modifs in the page-fault handling.

File:
1 edited

Legend:

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

    r296 r313  
    6262void hal_core_init( boot_info_t * info );
    6363
     64/*****************************************************************************************
     65 * This function returns the PPN from the page descriptor extended pointer.
     66 *****************************************************************************************
     67 * @ page_xp   : pointer to page descriptor
     68 * @ returns physical page number
     69 ****************************************************************************************/
     70inline ppn_t hal_page2ppn( xptr_t page_xp );
    6471
     72/*****************************************************************************************
     73 * This function returns the page descriptor extended pointer from the PPN.
     74 *****************************************************************************************
     75 * @ ppn          : physical page number
     76 * @ returns extended pointer on page descriptor
     77 ****************************************************************************************/
     78inline xptr_t hal_ppn2page( ppn_t ppn );
    6579
    6680#endif  /* HAL_PPM_H_ */
Note: See TracChangeset for help on using the changeset viewer.