K 10
svn:author
V 6
davide
K 8
svn:date
V 27
2012-06-11T17:17:28.489571Z
K 7
svn:log
V 258
CTR4 has four arguments but we need five, change it to CTR5.
Modify some printed value to obtain more significant kernel traces.
While here, Bruce Evans told me that "unsigned int" is spelled "u_int" in
KNF, so replace it where needed.

Discussed with:		mav

END