1 /**************************************************************************
2  *
3  * Copyright 2012-2021 VMware, Inc.
4  * All Rights Reserved.
5  *
6  * Permission is hereby granted, free of charge, to any person obtaining a
7  * copy of this software and associated documentation files (the
8  * "Software"), to deal in the Software without restriction, including
9  * without limitation the rights to use, copy, modify, merge, publish,
10  * distribute, sub license, and/or sell copies of the Software, and to
11  * permit persons to whom the Software is furnished to do so, subject to
12  * the following conditions:
13  *
14  * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
15  * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
16  * FITNESS FOR A PARTICULAR PURPOSE AND NON-INFRINGEMENT. IN NO EVENT SHALL
17  * THE COPYRIGHT HOLDERS, AUTHORS AND/OR ITS SUPPLIERS BE LIABLE FOR ANY CLAIM,
18  * DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR
19  * OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE
20  * USE OR OTHER DEALINGS IN THE SOFTWARE.
21  *
22  * The above copyright notice and this permission notice (including the
23  * next paragraph) shall be included in all copies or substantial portions
24  * of the Software.
25  *
26  **************************************************************************/
27 
28 /*
29  * DriverIncludes.h --
30  *    Basic DDK includes for building the client driver.
31  */
32 
33 #ifndef DRIVER_INCLUDES_H
34 #define DRIVER_INCLUDES_H
35 
36 #ifdef __MINGW32__
37 #undef WIN32_LEAN_AND_MEAN /* for DEFINE_GUID macro */
38 #define _NO_OLDNAMES       /* avoid defining ssize_t */
39 #include <stdio.h>         /* for vsnprintf */
40 #undef fileno              /* we redefine this in vm_basic_defs.h */
41 #endif
42 
43 
44 #include <windows.h>
45 
46 #include "winddk/winddk_compat.h"
47 
48 //typedef LARGE_INTEGER PHYSICAL_ADDRESS;
49 //typedef __success(return >= 0) LONG NTSTATUS;
50 
51 #define D3D10DDI_MINOR_HEADER_VERSION 1
52 #include <d3d10umddi.h>
53 
54 #include "Debug.h"
55 
56 #include "pipe/p_screen.h"
57 #include "pipe/p_context.h"
58 #include "pipe/p_format.h"
59 #include "pipe/p_defines.h"
60 
61 #include "util/u_debug.h"
62 #include "util/u_inlines.h"
63 
64 
65 #endif   /* DRIVER_INCLUDES_H */
66