> > +options HZ=8000 this can become a problem due to integer division.
any number of ticks less than hz (8000) will be rounded down to 0 in a number of places now, where as before it was only less than 100. i've seen this trip up in the kernel before, and sometimes that '0' means 'poll', and sometimes it means 'sleep forever'. a lot of places in the kernel *do* avoid (eg, with adding hz-1 and then dividing by hz) but there are a number that do not... .mrg.
