Searched refs:__textui_get_current_window_id (Results 1 – 3 of 3) sorted by relevance
176 uint32_t __textui_get_current_window_id();
75 if (window->id != __textui_get_current_window_id()) in textui_refresh_characters()
129 uint32_t __textui_get_current_window_id() in __textui_get_current_window_id() function