ca4e37e1cf
it has the same value on all platforms. Previously it was just under 3 seconds on x86 (typically hz<=128) and just under 1/3 of a second on alpha (typically hz>=1024). This covers up a race between ad_interrupt() and ad_timeout() which is being looked into. reviewd by: sos