is_rproc_enabled  340 drivers/char/virtio_console.c 	return is_rproc_enabled && vdev->id.device == VIRTIO_ID_RPROC_SERIAL;
is_rproc_enabled  370 drivers/char/virtio_console.c 	} else if (is_rproc_enabled) {