The WinDDK is the "Windows Device Driver Kit".
Maybe deleting one of the include lines of winioctl.h or ntddstor.h might help?