device_manager_defs.h revision 368167ede8118f72da8c9ac5bb98ce9b46a8a639
1