ISES_WPR         1557 dev/pci/ises.c 	r = ISES_WPR;
ISES_WPR         1567 dev/pci/ises.c 		for (r = ISES_WPR; r--;)
ISES_WPR         1577 dev/pci/ises.c 	    ISES_WPR * ISES_ROUNDS * 32 / 1024 * 1000000 / tv1.tv_usec);