set_rcvtimeo     5982 drivers/block/drbd/drbd_receiver.c 	set_rcvtimeo(connection, 1);
set_rcvtimeo     5987 drivers/block/drbd/drbd_receiver.c 	set_rcvtimeo(connection, 0);