sv_halt_in_dma    149 dev/pci/sv.c   int	sv_halt_in_dma(void *);
sv_halt_in_dma    175 dev/pci/sv.c   	sv_halt_in_dma,
sv_halt_in_dma    595 dev/pci/sv.c           sv_halt_in_dma(sc);