mycroft 19fc9d55c8 *intr() arg does not need to be void*.		1994-11-03 23:23:38 +00:00
..
wd.c	*intr() arg does not need to be void*.	1994-11-03 23:23:38 +00:00