Searched refs:released_PT_ppn (Results 1 – 3 of 3) sorted by relevance
140 extern ppnum_t released_PT_ppn;
160 ppnum_t released_PT_ppn = 0; variable535 released_PT_ppn = pn_first; in Idle_PTs_release()538 printf("Idle_PTs_release %d pages from PFN 0x%x\n", released_PT_cnt, released_PT_ppn); in Idle_PTs_release()
1179 pmap_free_early_PT(released_PT_ppn, released_PT_cnt); in pmap_lowmem_finalize()