VIRTIO_CONSOLE_BAD_ID 2074 drivers/char/virtio_console.c 			__send_control_msg(portdev, VIRTIO_CONSOLE_BAD_ID,
VIRTIO_CONSOLE_BAD_ID 2092 drivers/char/virtio_console.c 	__send_control_msg(portdev, VIRTIO_CONSOLE_BAD_ID,