3200 /* t: Statclock hits processing intr */