Searched refs:released_PT_cnt (Results 1 – 3 of 3) sorted by relevance
141 extern uint32_t released_PT_cnt;
165 uint32_t released_PT_cnt = 0; variable540 released_PT_cnt = cnt; in Idle_PTs_release()542 printf("Idle_PTs_release %d pages from PFN 0x%x\n", released_PT_cnt, released_PT_ppn); in Idle_PTs_release()
1125 pmap_free_early_PT(released_PT_ppn, released_PT_cnt); in pmap_lowmem_finalize()