device_manager.h revision 70e2d4ac43aa54d8c567ec12e6b24155d3171dd9
1