Make UEFI boot-platform build againhrev51714
[haiku.git] / headers / private / graphics / intel_810 / 
treeef80a53777c8c7ce13113bc032966d0f25b26fea
drwxr-xr-x   ..
-rw-r--r-- 2538 DriverInterface.h