*
* prf -- kernel profiler driver
*
*	does a binary search and increments the entry for the interrupted PC
*	every clock tick (user addresses go into the last entry in prfctr)
*

%DRIVER

Type:		character		# driver type:  block, character, stream
Prefix:		prf			# prefix added to functions
Funcs:		read write ioctl	# a list of the functions provided
Major:		19			# major device number(s)

%PARAM

**********************************************************************
* The following entries form the tunable parameter table.
*

PRFMAX		4096			# size of the count and symbol tables

%CONFIG

#ifdef PRF_0
	int		maxprf = PRFMAX;
	unsigned	prfctr[PRFMAX + 1];
	unsigned	prfsym[PRFMAX];
#else
	prfintr(){}
#endif
