*
* 
* "@(#) prf 88/03/09"
* #ident	"@(#)prf	3.2	9/22/87 Copyright (c) 1986 by National Semiconductor Corp."
*
*  PROFILER FOR KERNEL
*
* dev	vector	memaddr	ioaddr	bus	count
*
prf	0	0	0	0	1
$$$
&DEFINE PRFMAX		2048
int	maxprf =	PRFMAX;
int	prfctr[PRFMAX + 1];
int	prfsym[PRFMAX];
