Moved pte_t definition to arch-specific file
[akaros.git] / kern / arch / i686 / ros /
drwxr-xr-x   ..
-rw-r--r-- 846 hart.h
-rw-r--r-- 425 mmu.h
-rw-r--r-- 3421 syscall.h