sv_halt_out_dma   150 dev/pci/sv.c   int	sv_halt_out_dma(void *);
sv_halt_out_dma   174 dev/pci/sv.c   	sv_halt_out_dma,
sv_halt_out_dma   596 dev/pci/sv.c           sv_halt_out_dma(sc);