Symbol: INFINIBAND_DEVICE_PATH
sys/stand/efi/include/efidevp.h
377
INFINIBAND_DEVICE_PATH InfiniBand;
sys/stand/efi/include/efidevp.h
412
INFINIBAND_DEVICE_PATH *InfiniBand;