extern unsigned int get_devinfo_with_index(unsigned int index);