device_manager.h revision 078d0317
1