vmap_pmem_nocache()
[akaros.git] / kern / arch / x86 / mmu.h
1 #ifndef ROS_ARCH_MMU_H
2 #define ROS_ARCH_MMU_H
3
4 /* til we remove this file, unless we have some kernel-only stuff later */
5 #include <ros/arch/mmu.h>
6
7 #endif /* ROS_ARCH_MMU_H */