PCI_VENID_MLX
if (state->hs_vendor_id != PCI_VENID_MLX)
while ((pci_config_get32(hdl, 0) & 0x0000FFFF) != PCI_VENID_MLX) {
while ((pci_config_get32(pcihdl, 0) & 0x0000FFFF) != PCI_VENID_MLX) {