4928 /* number of H/W interrupt handlers */