device_manager.h revision 7a6818d3
1