Constant VIRTIO_ID_VIDEO_DECODER 

pub const VIRTIO_ID_VIDEO_DECODER: u32 = 31;