#85 issues: fix bug: tlb_invalidate 0x100 AND 0x100+PGSIZE

This commit is contained in:
Yu Chen 2020-06-27 00:06:15 +08:00
parent 99df716daa
commit 0d0b9e8a0c
4 changed files with 16 additions and 4 deletions

View File

@ -696,7 +696,10 @@ check_boot_pgdir(void) {
free_page(p);
free_page(pde2page(boot_pgdir[0]));
boot_pgdir[0] = 0;
tlb_invalidate(boot_pgdir, 0x100);
tlb_invalidate(boot_pgdir, 0x100+PGSIZE);
cprintf("check_boot_pgdir() succeeded!\n");
}

View File

@ -696,7 +696,10 @@ check_boot_pgdir(void) {
free_page(p);
free_page(pde2page(boot_pgdir[0]));
boot_pgdir[0] = 0;
tlb_invalidate(boot_pgdir, 0x100);
tlb_invalidate(boot_pgdir, 0x100+PGSIZE);
cprintf("check_boot_pgdir() succeeded!\n");
}

View File

@ -696,7 +696,10 @@ check_boot_pgdir(void) {
free_page(p);
free_page(pde2page(boot_pgdir[0]));
boot_pgdir[0] = 0;
tlb_invalidate(boot_pgdir, 0x100);
tlb_invalidate(boot_pgdir, 0x100+PGSIZE);
cprintf("check_boot_pgdir() succeeded!\n");
}

View File

@ -696,7 +696,10 @@ check_boot_pgdir(void) {
free_page(p);
free_page(pde2page(boot_pgdir[0]));
boot_pgdir[0] = 0;
tlb_invalidate(boot_pgdir, 0x100);
tlb_invalidate(boot_pgdir, 0x100+PGSIZE);
cprintf("check_boot_pgdir() succeeded!\n");
}