Rename from desktop_focus_next_mapped_view() to desktop_focus_topmost_mapped_view() and only take struct server as argument.