Make UEFI boot-platform build againhrev51714
[haiku.git] / headers / private / kernel / arch / generic / 
treed29f6899f5ac7f6412a2aa6f6baafa7306124ec3
drwxr-xr-x   ..
-rw-r--r-- 1253 debug_uart.h
-rw-r--r-- 805 debug_uart_8250.h
-rw-r--r-- 1778 user_memory.h