>>624
すみません。自己解決。帰宅して他の端末の動作と見較べてみたら、xiaomiは位置情報を読み込んでなかった。
昨晩、初めて起動した地図系アプリがいくつかあって、そのうちのどれかが悪さをしたらしく、他の位置情報を利用するアプリも動作がおかしくなっていた。
無事復活しました。お騒がせしました。