Changeset 315 for trunk/kernel/mm/kcm.c


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/kcm.c

    r182 r315  
    160160
    161161        // get page base address
    162         kcm_page = (kcm_page_t *)ppm_page2vaddr( page );
     162        xptr_t base_xp = ppm_page2base( XPTR( local_cxy , page ) );
     163        kcm_page = (kcm_page_t *)GET_PTR( base_xp );
    163164
    164165        // initialize KCM-page descriptor
Note: See TracChangeset for help on using the changeset viewer.