device_manager.h revision 368167ed
1