K 10
svn:author
V 6
marius
K 8
svn:date
V 27
2011-10-01T13:11:29.395547Z
K 7
svn:log
V 145
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