pub const VIRTIO_VIDEO_FORMAT_CODED_MIN: u32 = 4096;