device_manager.h revision 87611252
1