el tema es que estos modelos no tienen version china, ingbrzy, el que lleva xiaomi eu no se cual es el origen que emplea para sus rom, si es una remodelacion de las globales, en este caso, o tiene algun contacto de versiones chinas para ello, pero publicas al menos en downmi no aparece ninguna version china, ni para el 9s ni para el 9 pro
un saludo