device_manager.h revision 6094d89f
1