wp_stoptimer      529 dev/pci/maestro.c void	wp_stoptimer(struct maestro_softc *);
wp_stoptimer     1057 dev/pci/maestro.c 		wp_stoptimer(sc);
wp_stoptimer     1509 dev/pci/maestro.c 		wp_stoptimer(sc);