devices_list();