Make UEFI boot-platform build againhrev51714
[haiku.git] / headers / os / arch / x86 / 
tree21e474731bcdcda8e26ace294a35b0b1c31a09ce
drwxr-xr-x   ..
-rw-r--r-- 1254 arch_debugger.h