Make UEFI boot-platform build againhrev51714
[haiku.git] / headers / private / system / arch / mipsel / 
treed884a6f02c33b1232c2d452ab34503cc4f1c2a48
drwxr-xr-x   ..
-rw-r--r-- 559 arch_commpage_defs.h
-rw-r--r-- 441 arch_config.h
-rw-r--r-- 273 arch_cpu_defs.h
-rw-r--r-- 1457 arch_elf.h
-rw-r--r-- 398 arch_real_time_data.h
-rw-r--r-- 503 asm_defs.h