Make UEFI boot-platform build againhrev51714
[haiku.git] / headers / private / kernel / arch / sh4 / 
treee48c447823ee343cd5f22846b65a2306333e592f
drwxr-xr-x   ..
-rw-r--r-- 214 arch_cpu.h
-rw-r--r-- 639 cpu.h
-rw-r--r-- 1640 defs.h
-rw-r--r-- 1126 kernel.h
-rw-r--r-- 244 ktypes.h
-rw-r--r-- 304 mmu.h
-rw-r--r-- 305 rtl8139_priv.h
-rw-r--r-- 3908 rtl8139c.h
-rw-r--r-- 289 serial.h
-rw-r--r-- 3406 sh4.h
-rw-r--r-- 342 stage2.h
-rw-r--r-- 333 thread_struct.h
-rw-r--r-- 476 types.h
-rw-r--r-- 6761 va-sh.h
-rw-r--r-- 1740 vcpu.h
-rw-r--r-- 412 vcpu_struct.h