Function cmd_set_framebuffer_state

bootloader/kernel/src/drivers/virtio_gpu.rs:303–313

(buffer: &mut Vec<u32>, handles: &[u32])

            }

            fn cmd_set_framebuffer_state(buffer: &mut Vec<u32>, handles: &[u32]) {
                let len = handles.len() as u32 + 2;
                buffer
                    .push((len << 16) + (0 << 8) + Cmd3d::VIRGL_CCMD_SET_FRAMEBUFFER_STATE as u32);
                //Buffer select
                buffer.push(handles.len() as u32);
                buffer.push(0);
                for handle in handles.iter() {
                    buffer.push(*handle);
                }
            }

            fn cmd_create_surface(buffer: &mut Vec<u32>, handle: u32, format: VirglFormats) {
                let len = 5;