What is the abbreviation for Device manager?

Looking for the shorthand of Device manager or how to abbreviate it? We have 2 shorthands for Device manager.