Add arm32 architecture. The 32 suffix is used to specify that 16-bit Thumb
[helenos.git] / kernel / arch / arm32 / include / mm / 
tree5f3063537096ff672ba24c528abe3d067692cd26
drwxr-xr-x   ..
-rw-r--r-- 2272 as.h
-rw-r--r-- 1676 asid.h
-rw-r--r-- 1774 frame.h
-rw-r--r-- 1681 memory_init.h
-rw-r--r-- 3707 page.h
-rw-r--r-- 1632 tlb.h