device_manager.h revision 87611252cb05567942e28a4dd937cd546d75888b
1