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