Changeset 315 for trunk/hal/generic/hal_ppm.h
- Timestamp:
- Aug 3, 2017, 10:15:18 AM (6 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/hal/generic/hal_ppm.h
r313 r315 62 62 void hal_core_init( boot_info_t * info ); 63 63 64 /*****************************************************************************************65 * This function returns the PPN from the page descriptor extended pointer.66 *****************************************************************************************67 * @ page_xp : pointer to page descriptor68 * @ returns physical page number69 ****************************************************************************************/70 inline ppn_t hal_page2ppn( xptr_t page_xp );71 72 /*****************************************************************************************73 * This function returns the page descriptor extended pointer from the PPN.74 *****************************************************************************************75 * @ ppn : physical page number76 * @ returns extended pointer on page descriptor77 ****************************************************************************************/78 inline xptr_t hal_ppn2page( ppn_t ppn );79 80 64 #endif /* HAL_PPM_H_ */
Note: See TracChangeset
for help on using the changeset viewer.