Functions in deviceinfo.h