1 | /* $Id: the-nt-kernel.h 106061 2024-09-16 14:03:52Z vboxsync $ */
|
---|
2 | /** @file
|
---|
3 | * IPRT - Include all necessary headers for the NT kernel.
|
---|
4 | */
|
---|
5 |
|
---|
6 | /*
|
---|
7 | * Copyright (C) 2006-2024 Oracle and/or its affiliates.
|
---|
8 | *
|
---|
9 | * This file is part of VirtualBox base platform packages, as
|
---|
10 | * available from https://www.virtualbox.org.
|
---|
11 | *
|
---|
12 | * This program is free software; you can redistribute it and/or
|
---|
13 | * modify it under the terms of the GNU General Public License
|
---|
14 | * as published by the Free Software Foundation, in version 3 of the
|
---|
15 | * License.
|
---|
16 | *
|
---|
17 | * This program is distributed in the hope that it will be useful, but
|
---|
18 | * WITHOUT ANY WARRANTY; without even the implied warranty of
|
---|
19 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
|
---|
20 | * General Public License for more details.
|
---|
21 | *
|
---|
22 | * You should have received a copy of the GNU General Public License
|
---|
23 | * along with this program; if not, see <https://www.gnu.org/licenses>.
|
---|
24 | *
|
---|
25 | * The contents of this file may alternatively be used under the terms
|
---|
26 | * of the Common Development and Distribution License Version 1.0
|
---|
27 | * (CDDL), a copy of it is provided in the "COPYING.CDDL" file included
|
---|
28 | * in the VirtualBox distribution, in which case the provisions of the
|
---|
29 | * CDDL are applicable instead of those of the GPL.
|
---|
30 | *
|
---|
31 | * You may elect to license modified versions of this file under the
|
---|
32 | * terms and conditions of either the GPL or the CDDL or both.
|
---|
33 | *
|
---|
34 | * SPDX-License-Identifier: GPL-3.0-only OR CDDL-1.0
|
---|
35 | */
|
---|
36 |
|
---|
37 | #ifndef IPRT_INCLUDED_SRC_r0drv_nt_the_nt_kernel_h
|
---|
38 | #define IPRT_INCLUDED_SRC_r0drv_nt_the_nt_kernel_h
|
---|
39 | #ifndef RT_WITHOUT_PRAGMA_ONCE
|
---|
40 | # pragma once
|
---|
41 | #endif
|
---|
42 |
|
---|
43 | #include <iprt/cdefs.h>
|
---|
44 |
|
---|
45 | #if defined(RT_ARCH_X86) && !defined(NO_INTERLOCKED_INTRINSICS)
|
---|
46 | # define NO_INTERLOCKED_INTRINSICS /* avoid trouble */
|
---|
47 | #endif
|
---|
48 | #if (_MSC_VER >= 1400) && !defined(VBOX_WITH_PATCHED_DDK)
|
---|
49 | # include <iprt/asm.h>
|
---|
50 | # define _InterlockedExchange _InterlockedExchange_StupidDDKVsCompilerCrap
|
---|
51 | # define _InterlockedExchangeAdd _InterlockedExchangeAdd_StupidDDKVsCompilerCrap
|
---|
52 | # define _InterlockedCompareExchange _InterlockedCompareExchange_StupidDDKVsCompilerCrap
|
---|
53 | # define _InterlockedAddLargeStatistic _InterlockedAddLargeStatistic_StupidDDKVsCompilerCrap
|
---|
54 | # pragma warning(disable : 4163)
|
---|
55 | RT_C_DECLS_BEGIN
|
---|
56 | # include <iprt/nt/nt.h>
|
---|
57 | RT_C_DECLS_END
|
---|
58 | # pragma warning(default : 4163)
|
---|
59 | # undef _InterlockedExchange
|
---|
60 | # undef _InterlockedExchangeAdd
|
---|
61 | # undef _InterlockedCompareExchange
|
---|
62 | # undef _InterlockedAddLargeStatistic
|
---|
63 | #else
|
---|
64 | RT_C_DECLS_BEGIN
|
---|
65 | # include <iprt/nt/nt.h>
|
---|
66 | RT_C_DECLS_END
|
---|
67 | #endif
|
---|
68 |
|
---|
69 | #include <memory.h>
|
---|
70 | #if !defined(RT_OS_WINDOWS)
|
---|
71 | # error "RT_OS_WINDOWS must be defined!"
|
---|
72 | #endif
|
---|
73 |
|
---|
74 | #include <iprt/param.h>
|
---|
75 | #ifndef PAGE_OFFSET_MASK
|
---|
76 | # define PAGE_OFFSET_MASK (PAGE_SIZE - 1)
|
---|
77 | #endif
|
---|
78 |
|
---|
79 | /* Missing if we're compiling against older WDKs. */
|
---|
80 | #ifndef NonPagedPoolNx
|
---|
81 | # define NonPagedPoolNx ((POOL_TYPE)512)
|
---|
82 | #endif
|
---|
83 |
|
---|
84 | /*
|
---|
85 | * When targeting NT4 we have to undo some of the nice macros
|
---|
86 | * installed by the later DDKs.
|
---|
87 | */
|
---|
88 | #undef ExAllocatePool
|
---|
89 | #undef ExFreePool
|
---|
90 |
|
---|
91 | /** @def IPRT_NT_POOL_TAG
|
---|
92 | * Tag to use with the NT Pool APIs.
|
---|
93 | * In memory and in the various windbg tools it appears in the reverse order of
|
---|
94 | * what it is given as here, so it'll read "IPRT".
|
---|
95 | */
|
---|
96 | #define IPRT_NT_POOL_TAG 'TRPI'
|
---|
97 |
|
---|
98 | #endif /* !IPRT_INCLUDED_SRC_r0drv_nt_the_nt_kernel_h */
|
---|
99 |
|
---|