Symbol: mpi_wait_db_int
sys/dev/ic/mpi.c
1876
if (mpi_wait_db_int(sc) != 0)
sys/dev/ic/mpi.c
1901
if (mpi_wait_db_int(sc) != 0)
sys/dev/ic/mpi.c
1942
if (mpi_wait_db_int(sc) != 0)