MPI_DMA_KVA       814 dev/ic/mpi.c   	cmd = MPI_DMA_KVA(sc->sc_requests);
MPI_DMA_KVA       912 dev/ic/mpi.c   	char				*kva = MPI_DMA_KVA(sc->sc_replies);