device_manager.h revision 6094d89f2f0db00588b30428810e3cddc6b22731
1