Move ros/vmx.h to an arch-specific location (XCC)
[akaros.git] / kern / arch / x86 / ros /
drwxr-xr-x   ..
-rw-r--r-- 88 arch.h
-rw-r--r-- 923 membar.h
-rw-r--r-- 3008 mmu.h
-rw-r--r-- 26245 mmu64.h
-rw-r--r-- 20028 msr-index.h
-rw-r--r-- 386 syscall.h
-rw-r--r-- 2035 syscall64.h
-rw-r--r-- 2748 trapframe.h
-rw-r--r-- 1235 trapframe64.h
-rw-r--r-- 175 vmm.h
-rw-r--r-- 29602 vmx.h