viaenv_refresh     83 dev/pci/viaenv.c void viaenv_refresh(void *);
viaenv_refresh    320 dev/pci/viaenv.c 	timeout_set(&viaenv_timeout, viaenv_refresh, sc);