device_manager.h revision 70e2d4ac
1