/* * XXX This is bogus -- the Linux version does various machinations to * give some jitter so that stuff doesn't wake up all at once. */