VEC_INT7
[VEC_INT7] = "LEVEL 7 INT",
vectors[VEC_INT7] = nmihandler;
for (i = VEC_SPUR; i <= VEC_INT7; i++)