Depending on the model, DNS may or may not be available on the Xiaomi smartphone. By default, the function is already set to "Automatic", but it can also be turned off. You can also use your own DNS server.
- Open the Settings
- Tap on Connection & sharing
- Tap on Private DNS
- Choose Off, Automatic or Private DNS provider hostname
- Tap on Save