K 10
svn:author
V 6
marius
K 8
svn:date
V 27
2012-01-28T23:33:50.715462Z
K 7
svn:log
V 159
MFC: r225899

Also allocate space for the PIL counters. Given that no machine actually
uses IV_MAX interrupt vectors this wasn't a problem in practice though.

END