device_manager.h revision 08bc0cc9
1