nr_added_bufs    1331 drivers/char/virtio_console.c 	int nr_added_bufs;
nr_added_bufs    1334 drivers/char/virtio_console.c 	nr_added_bufs = 0;
nr_added_bufs    1347 drivers/char/virtio_console.c 		nr_added_bufs++;
nr_added_bufs    1351 drivers/char/virtio_console.c 	return nr_added_bufs;