device_manager.h revision 44b6c0f4
1