device_manager.h revision 3277aade49d84f4562a8bd20d165927104c802fb
1