Searched refs:video_refresh_manager (Results 1 – 4 of 4) sorted by relevance
13 video::{has_video_refresh_manager, video_refresh_manager},80 let mut device_buffer = video_refresh_manager().device_buffer().clone(); in new()86 let device_buffer_guard = video_refresh_manager().device_buffer(); in new()311 video_refresh_manager().set_refresh_target(&metadata.buf_info)?; in scm_framework_enable()355 video_refresh_manager() in scm_enable_double_buffer()374 video_refresh_manager().video_reinitialize(true)?; in scm_enable_double_buffer()437 video_refresh_manager().video_reinitialize(false)?; in true_scm_reinit()440 let device_buffer = video_refresh_manager().device_buffer().clone(); in true_scm_reinit()
9 serial::serial8250::send_to_default_serial8250_port, video::video_refresh_manager,25 let height = video_refresh_manager().device_buffer().height(); in textui_init_no_alloc()26 let width = video_refresh_manager().device_buffer().width(); in textui_init_no_alloc()
4 video::video_refresh_manager,308 let depth = video_refresh_manager().device_buffer().bit_depth(); in new()466 let buf_depth = video_refresh_manager().device_buffer().bit_depth(); in no_init_textui_render_chromatic()467 let buf_width = video_refresh_manager().device_buffer().width(); in no_init_textui_render_chromatic()472 if let ScmBuffer::DeviceBuffer(vaddr) = video_refresh_manager().device_buffer().buf { in no_init_textui_render_chromatic()
28 pub fn video_refresh_manager() -> &'static VideoRefreshManager { in video_refresh_manager() function242 let manager = video_refresh_manager(); in run()