device_manager.h revision 1a2706886513c20507af7346ee1d07c7b48ff8e3
1