Searched refs:device_buffer_guard (Results 1 – 1 of 1) sorted by relevance
83 let device_buffer_guard = video_refresh_manager().device_buffer(); in new() localVariable86 vec![0u8; (device_buffer_guard.size / 4) as usize].into_boxed_slice(), in new()92 device_buffer_guard.size as usize, in new()98 width: device_buffer_guard.width, in new()99 height: device_buffer_guard.height, in new()100 size: device_buffer_guard.size, in new()101 bit_depth: device_buffer_guard.bit_depth, in new()106 drop(device_buffer_guard); in new()