mpi_write_db     1452 dev/ic/mpi.c   	mpi_write_db(sc,
mpi_write_db     1510 dev/ic/mpi.c   	mpi_write_db(sc, MPI_DOORBELL_FUNCTION(MPI_FUNCTION_HANDSHAKE) |
mpi_write_db     1527 dev/ic/mpi.c   		mpi_write_db(sc, htole32(query[i]));