Searched refs:video_refresh_manager (Results 1 – 4 of 4) sorted by relevance
11 driver::{serial::serial8250::send_to_default_serial8250_port, video::video_refresh_manager},76 let mut device_buffer = video_refresh_manager().device_buffer().clone(); in new()82 let device_buffer_guard = video_refresh_manager().device_buffer(); in new()305 video_refresh_manager().set_refresh_target(&metadata.buf_info)?; in scm_framework_enable()350 video_refresh_manager() in scm_enable_double_buffer()369 video_refresh_manager().video_reinitialize(true)?; in scm_enable_double_buffer()429 video_refresh_manager() in true_scm_reinit()434 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()
5 video::video_refresh_manager,435 let buf_width = video_refresh_manager().device_buffer().width(); in no_init_textui_render_chromatic()438 if let ScmBuffer::DeviceBuffer(vaddr) = video_refresh_manager().device_buffer().buf { in no_init_textui_render_chromatic()
26 pub fn video_refresh_manager() -> &'static VideoRefreshManager { in video_refresh_manager() function249 let manager = video_refresh_manager(); in run()