Redefine the fuctions ppm_base2page() / ppm_page2base() / ppm_page2ppn() / ppm_ppn2page() / ppm_base2ppn() / ppm_ppn2base(), to use explicitely extended pointers.
Changeset view not shown, since the total size (64.8 MB) exceeds 9.5 MB