Symbol: IBNEX_DEVTREE_NOT_CHECKED
usr/src/uts/common/io/ib/ibnex/ibnex.c
347
static int ibnex_hw_status = IBNEX_DEVTREE_NOT_CHECKED;
usr/src/uts/common/io/ib/ibnex/ibnex.c
361
if (ibnex_hw_status == IBNEX_DEVTREE_NOT_CHECKED) {