[ofw] RE: ibbus filter driver patch 1/18 - bus_driver.c

[Hefty, Sean]

>The HCA driver .inx/f file instantiates the 'InfiniBandController' class, with
>ibbus as a class upper filter driver.

The winverbs.inx needs to be updated to whatever the final class and GUID end up being.

Note that the WDK (6001.18001\inc\ddk\inc\api\devguid.h) has:

DEFINE_GUID( GUID_DEVCLASS_INFINIBAND,          0x30ef7132L, 0xd858, 0x4a0c, 0xac, 0x24, 0xb9, 0x02, 0x8a, 0x5c, 0xca, 0x3f );

for the IB class GUID

- Sean