device_manager.h revision 0d7f2390
1