request_timer     853 drivers/block/drbd/drbd_int.h 	struct timer_list request_timer;
request_timer    2018 drivers/block/drbd/drbd_main.c 	timer_setup(&device->request_timer, request_timer_fn, 0);
request_timer    2229 drivers/block/drbd/drbd_main.c 	del_timer_sync(&device->request_timer);
request_timer    1691 drivers/block/drbd/drbd_nl.c 	mod_timer(&device->request_timer, jiffies + HZ);
request_timer    2174 drivers/block/drbd/drbd_nl.c 	mod_timer(&device->request_timer, jiffies + HZ);
request_timer     909 drivers/block/drbd/drbd_receiver.c 	mod_timer(&device->request_timer, jiffies + HZ); /* just start it here. */
request_timer    1708 drivers/block/drbd/drbd_req.c 	struct drbd_device *device = from_timer(device, t, request_timer);
request_timer    1794 drivers/block/drbd/drbd_req.c 	mod_timer(&device->request_timer, nt);