ARC_DMA_KVA       608 dev/pci/arc.c  	char				*kva = ARC_DMA_KVA(sc->sc_requests);
ARC_DMA_KVA       830 dev/pci/arc.c  	char				*kva = ARC_DMA_KVA(sc->sc_requests);
ARC_DMA_KVA      1795 dev/pci/arc.c  	cmd = ARC_DMA_KVA(sc->sc_requests);