wp_starttimer     528 dev/pci/maestro.c void	wp_starttimer(struct maestro_softc *);
wp_starttimer    1055 dev/pci/maestro.c 		wp_starttimer(sc);