/* Set up a time that expires after 1/2 second.  */
static void etr_set_sync_timeout(void)
/* Set up a time that expires after 1/2 second.  */
static void etr_set_sync_timeout(void)
{
	mod_timer(&etr_timer, jiffies + HZ/2);
}