Symbol: TAVOR_SW_RESET_NOTDONE
usr/src/uts/common/io/ib/adapters/tavor/tavor.c
2382
while (pci_config_get32(phdl, 0) == TAVOR_SW_RESET_NOTDONE) {
usr/src/uts/common/io/ib/adapters/tavor/tavor.c
2417
while (pci_config_get32(hdl, 0) == TAVOR_SW_RESET_NOTDONE) {