Changed GateAll to GateHwi since GateAll does not work in SMP BIOS according to SDOCM...
[ipc/ipcdev.git] / linux / patches /
drwxr-xr-x   ..
drwxr-xr-x - 3.8.0