K 10
svn:author
V 3
jhb
K 8
svn:date
V 27
2005-12-16T22:11:52.000000Z
K 7
svn:log
V 375
- Use uintfptr_t rather than int for the kernel profiling index (though it
  really should be a fptrdiff_t if we had that) in profclock().
- Don't try to profile kernel pc's that are >= the kernel lowpc to avoid
  underflows when computing a profiling index.
- Use the PC_TO_I() macro to compute the kernel profiling index rather than
  doing it inline.

Discussed with:	bde

END