Symbol: NXGE_MUTEX_DRIVER
usr/src/uts/common/io/nxge/nxge_main.c
1553
NXGE_MUTEX_DRIVER, (void *)nxgep->interrupt_cookie);
usr/src/uts/common/io/nxge/nxge_main.c
1556
NXGE_MUTEX_DRIVER, (void *)nxgep->interrupt_cookie);
usr/src/uts/common/io/nxge/nxge_main.c
1559
NXGE_MUTEX_DRIVER, (void *)nxgep->interrupt_cookie);