Like most (if not, all) Android phone companies, Xiaomi gives its devices codenames. These codenames are given to devices internally to identify them, and