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);