Make UEFI boot-platform build againhrev51714
[haiku.git] / headers / private / kernel / arch / arm / 
tree4e27688548a0fa16d8d7aa2cf5f9da394071cbbb
drwxr-xr-x   ..
-rw-r--r-- 1371 arch_atomic.h
-rw-r--r-- 1665 arch_cpu.h
-rw-r--r-- 279 arch_debug.h
-rw-r--r-- 417 arch_int.h
-rw-r--r-- 1194 arch_kernel.h
-rw-r--r-- 639 arch_kernel_args.h
-rw-r--r-- 296 arch_system_info.h
-rw-r--r-- 892 arch_thread.h
-rw-r--r-- 1020 arch_thread_types.h
-rw-r--r-- 823 arch_uart_pl011.h
-rw-r--r-- 312 arch_user_debugger.h
-rw-r--r-- 294 arch_vm.h
-rw-r--r-- 280 arch_vm_translation_map.h
-rw-r--r-- 252 arch_vm_types.h
-rw-r--r-- 1604 arm920t.h
-rw-r--r-- 3116 arm_mmu.h
-rw-r--r-- 4384 bcm283X.h
-rw-r--r-- 8895 omap3.h
-rw-r--r-- 3307 pxa270.h
-rw-r--r-- 2069 reg.h