Make UEFI boot-platform build againhrev51714
[haiku.git] / headers / private / kernel / arch / m68k / 
tree69201bb361d84dd4fde41ec4e493179c943b0d8c
drwxr-xr-x   ..
-rw-r--r-- 6331 arch_030_mmu.h
-rw-r--r-- 6006 arch_040_mmu.h
-rw-r--r-- 908 arch_atomic.h
-rw-r--r-- 11041 arch_cpu.h
-rw-r--r-- 282 arch_debug.h
-rw-r--r-- 375 arch_int.h
-rw-r--r-- 1220 arch_kernel.h
-rw-r--r-- 1717 arch_kernel_args.h
-rw-r--r-- 3451 arch_mmu.h
-rw-r--r-- 2193 arch_platform.h
-rw-r--r-- 300 arch_system_info.h
-rw-r--r-- 1359 arch_thread.h
-rw-r--r-- 1023 arch_thread_types.h
-rw-r--r-- 346 arch_user_debugger.h
-rw-r--r-- 369 arch_vm.h
-rw-r--r-- 705 arch_vm_translation_map.h
-rw-r--r-- 254 arch_vm_types.h
-rw-r--r-- 194 cpu.h
-rw-r--r-- 205 ktypes.h
-rw-r--r-- 1243 stage2_priv.h
-rw-r--r-- 456 types.h