device_manager.h revision 3277aade
1