Make UEFI boot-platform build againhrev51714
[haiku.git] / headers / private / graphics / 3dfx / 
tree7c1da4a00f9c8b6420467c6bcf9bc28725035e65
drwxr-xr-x   ..
-rw-r--r-- 3908 DriverInterface.h