device_manager.h revision 44b6c0f4b6c7facb88dcb6a1b0755b277423ff1c
1