1 /*-- 2 Copyright (C) Microsoft Corporation. All rights reserved. 3 --*/ 4 5 #include "initguid.h" 6 #include "ntddk.h" 7 #include "ntddstor.h" 8 #include "mountmgr.h" 9 #include "ioevent.h" 10 #include "devpkey.h" 11 #include "wdmguid.h" 12 13 // no code, just GUIDs being defined 14 15 16 17