Make UEFI boot-platform build againhrev51714
[haiku.git] / headers / private / system / arch / x86_64 / 
tree177485e5f418cc361bf2b9459ef215a5159a5767
drwxr-xr-x   ..
-rw-r--r-- 550 arch_commpage_defs.h
-rw-r--r-- 398 arch_config.h
-rw-r--r-- 267 arch_cpu_defs.h
-rw-r--r-- 2816 arch_elf.h
-rw-r--r-- 416 arch_real_time_data.h
-rw-r--r-- 509 asm_defs.h