Symbol: is_rproc_enabled
drivers/char/virtio_console.c
332
return is_rproc_enabled && vdev->id.device == VIRTIO_ID_RPROC_SERIAL;
drivers/char/virtio_console.c
362
} else if (is_rproc_enabled) {