Make UEFI boot-platform build againhrev51714
[haiku.git] / headers / private / system / arch / x86 / 
tree38f24f2951f7f2fe02d33800d73e6881e8232af9
drwxr-xr-x   ..
-rw-r--r-- 454 apm_defs.h
-rw-r--r-- 873 arch_commpage_defs.h
-rw-r--r-- 392 arch_config.h
-rw-r--r-- 267 arch_cpu_defs.h
-rw-r--r-- 982 arch_elf.h
-rw-r--r-- 416 arch_real_time_data.h
-rw-r--r-- 500 asm_defs.h