Symbol: VIRTIO_ID_RPROC_SERIAL
drivers/char/virtio_console.c
2078
{ VIRTIO_ID_RPROC_SERIAL, VIRTIO_DEV_ANY_ID },
drivers/char/virtio_console.c
332
return is_rproc_enabled && vdev->id.device == VIRTIO_ID_RPROC_SERIAL;