pub type virtio_video_level = u32;