device_manager.h revision 7a6818d3fa3871322557df09106171d2150bdc8b
1