Add support for 32-bit compatibility IOCTLs in the LinuxKPI.
[freebsd.git] / sys / ofed /
drwxr-xr-x   ..
drwxr-xr-x - drivers
drwxr-xr-x - include