vmm: vmm_changemmuflags

2026-10-30 05:58:22 +00:00 · 2024-08-21 21:33:29 -03:00
parent 8afbc8911c
commit dd75dc2d87
4 changed files with 167 additions and 36 deletions
@@ -39,5 +39,6 @@ pagetableptr_t arch_mmu_newtable();
 void arch_mmu_init();
 void arch_mmu_apswitch();
 void arch_mmu_tlbshootdown(void *page);
+bool arch_mmu_getflags(pagetableptr_t table, void *vaddr, mmuflags_t *mmuflagsp);

 #endif