Insert removed author attribution.

[mingw/mingw-org-wsl.git] / include / ddk / ntddk.h

diff --git a/include/ddk/ntddk.h b/include/ddk/ntddk.h
index 4c901a4..226804c 100644 (file)
--- a/include/ddk/ntddk.h
+++ b/include/ddk/ntddk.h
@@ -21,26 +21,14 @@
  * FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER
  * DEALINGS IN THE SOFTWARE.
  */
+/* Created by Casper S. Hornstrup <chorns@users.sourceforge.net> */
+#ifndef __NTDDK_H
+#define __NTDDK_H
+#pragma GCC system_header
+#include <_mingw.h>
+
 /*
- * ntddk.h
- *
  * Windows Device Driver Kit
- *
- * This file is part of the w32api package.
- *
- * Contributors:
- *   Created by Casper S. Hornstrup <chorns@users.sourceforge.net>
- *
- * THIS SOFTWARE IS NOT COPYRIGHTED
- *
- * This source code is offered for use in the public domain. You may
- * use, modify or distribute it freely.
- *
- * This code is distributed in the hope that it will be useful but
- * WITHOUT ANY WARRANTY. ALL WARRANTIES, EXPRESS OR IMPLIED ARE HEREBY
- * DISCLAIMED. This includes but is not limited to warranties of
- * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
- *
  * DEFINES:
  *    DBG             - Debugging enabled/disabled (0/1)
  *    POOL_TAGGING    - Enable pool tagging
@@ -48,10 +36,6 @@
  *   __USE_NTOSKRNL__ - Use ntoskrnl.exe exports instead of kernel32.dll
  */
 
-#ifndef __NTDDK_H
-#define __NTDDK_H
-#pragma GCC system_header
-
 #ifndef __USE_NTOSKRNL__
 #define __USE_NTOSKRNL__ 1
 #endif
@@ -104,6 +88,10 @@ typedef CONST char *PCSZ;
 /* Definitions only in Windows NT 4 */
 #include "winnt4.h"
 
+#if (_WIN32_WINNT >= _WIN32_WINNT_VISTA)
+ULONG KeQueryActiveProcessorCount(PKAFFINITY);
+#endif
+
 #ifdef __cplusplus
 }
 #endif