device_manager.h revision 5bd8987ff09b7f2edc8bc1587dd613f9900dca1f
1