Helpers for the PGSHIFT of the largest jumbo page
[akaros.git] / kern / include / pmap.h
index bb7e9ad..e7dbd8d 100644 (file)
@@ -101,6 +101,7 @@ int get_va_perms(pgdir_t pgdir, const void *va);
 int arch_pgdir_setup(pgdir_t boot_copy, pgdir_t *new_pd);
 physaddr_t arch_pgdir_get_cr3(pgdir_t pd);
 void arch_pgdir_clear(pgdir_t *pd);
+int arch_max_jumbo_page_shift(void);
 
 static inline page_t *ppn2page(size_t ppn)
 {