Searched refs:xrandr_cfg_time (Results 1 – 3 of 3) sorted by relevance
51 Time xrandr_cfg_time = 0; variable261 xrandr_cfg_time = rev->config_timestamp; in check_xrandr_event()
47 extern Time xrandr_cfg_time;
2768 xrandr_cfg_time = rev->config_timestamp; in initialize_xdisplay_fb()