Symbol: INFINIBAND_DEVICE_PATH
usr/src/boot/efi/include/Protocol/DevicePath.h
1284
INFINIBAND_DEVICE_PATH InfiniBand;
usr/src/boot/efi/include/Protocol/DevicePath.h
1340
INFINIBAND_DEVICE_PATH *InfiniBand;