Added makefile machinary to generate the build information data
[akaros.git] / kern / include / pmap.h
index bb7e9ad..72c79cb 100644 (file)
@@ -10,8 +10,7 @@
  * management, and other things related to virtual->physical mappings.
  */
 
-#ifndef ROS_KERN_PMAP_H
-#define ROS_KERN_PMAP_H
+#pragma once
 
 #include <ros/memlayout.h>
 #include <sys/queue.h>
@@ -101,6 +100,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)
 {
@@ -165,5 +165,3 @@ static inline unsigned long nr_pages(size_t nr_bytes)
  * the generic arch/pmap.h.  It's likely that many of these ops will be inlined
  * for speed in pmap_ops. */
 #include <arch/pmap_ops.h>
-
-#endif /* !ROS_KERN_PMAP_H */