device_manager.h revision 2d796918
1