Splits x86 into 32 and 64 bit (XCC)
[akaros.git] / kern / arch / x86 / ros /
drwxr-xr-x   ..
-rw-r--r-- 87 arch.h
-rw-r--r-- 800 membar.h
-rw-r--r-- 3067 mmu.h
-rw-r--r-- 17389 mmu32.h
-rw-r--r-- 17586 mmu64.h
-rw-r--r-- 451 syscall.h
-rw-r--r-- 1340 syscall32.h
-rw-r--r-- 1370 syscall64.h
-rw-r--r-- 2571 trapframe.h
-rw-r--r-- 1208 trapframe32.h
-rw-r--r-- 1208 trapframe64.h