K 10
svn:author
V 6
marius
K 8
svn:date
V 27
2011-07-09T18:47:51.990317Z
K 7
svn:log
V 629
Fix the definition for PCPU_NAME_LEN, which is intended to fit
("CPU %d", cpuid) where cpuid <= MAXCPU.

1. sizeof(__XSTRING(MAXCPU) + 1) is a typo: typeof(__XSTRING(...) + 1)
   is 'char *', so sizeof() will return the size of the pointer, not
   the size of the string contents. The proper expression should be
   'sizeof(__XSTRING(MAXCPU)) + 1'.

2. One should not add one, but substract it: sizeof() accounts for the
   trailing '\0' and we have two sizeof's, so the size of one '\0'
   should be substracted -- this will give the maximal string buffer
   length for CPU with its number, no less, no more.

Submitted by:	rea

END