deferred_timer 366 drivers/xen/grant-table.c static DEFINE_TIMER(deferred_timer, gnttab_handle_deferred); deferred_timer 406 drivers/xen/grant-table.c if (!list_empty(&deferred_list) && !timer_pending(&deferred_timer)) { deferred_timer 407 drivers/xen/grant-table.c deferred_timer.expires = jiffies + HZ; deferred_timer 408 drivers/xen/grant-table.c add_timer(&deferred_timer); deferred_timer 428 drivers/xen/grant-table.c if (!timer_pending(&deferred_timer)) { deferred_timer 429 drivers/xen/grant-table.c deferred_timer.expires = jiffies + HZ; deferred_timer 430 drivers/xen/grant-table.c add_timer(&deferred_timer);