1440 /* fault subcounters. XXX: should be 64-bit counters */ /* number of times fault was out of ram */