|
@ -417,7 +417,7 @@ page_remove_pte(pde_t *pgdir, uintptr_t la, pte_t *ptep) { |
|
|
* PTE_P 0x001 // page table/directory entry flags bit : Present |
|
|
* PTE_P 0x001 // page table/directory entry flags bit : Present |
|
|
*/ |
|
|
*/ |
|
|
#if 0 |
|
|
#if 0 |
|
|
if (0) { //(1) check if page directory is present |
|
|
|
|
|
|
|
|
if (0) { //(1) check if this page table entry is present |
|
|
struct Page *page = NULL; //(2) find corresponding page to pte |
|
|
struct Page *page = NULL; //(2) find corresponding page to pte |
|
|
//(3) decrease page reference |
|
|
//(3) decrease page reference |
|
|
//(4) and free this page when page reference reachs 0 |
|
|
//(4) and free this page when page reference reachs 0 |
|
|