Create ros/vmm/vmx.h, prepare to move lots of code to user mode from kernel driver.
[akaros.git] / kern / arch / x86 / pmap.h
1 #ifndef ROS_KERN_ARCH_PMAP_H
2 #define ROS_KERN_ARCH_PMAP_H
3
4 void x86_cleanup_bootmem(void);
5 void setup_default_mtrrs(barrier_t *smp_barrier);
6 physaddr_t get_boot_pml4(void);
7 uintptr_t get_gdt64(void);
8
9 #endif /* ROS_KERN_ARCH_PMAP_H */