1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
|
/*
Copyright (C) 2009 Red Hat, Inc.
This software is licensed under the GNU General Public License,
version 2 (GPLv2) (see COPYING for details), subject to the
following clarification.
With respect to binaries built using the Microsoft(R) Windows
Driver Kit (WDK), GPLv2 does not extend to any code contained in or
derived from the WDK ("WDK Code"). As to WDK Code, by using or
distributing such binaries you agree to be bound by the Microsoft
Software License Terms for the WDK. All WDK Code is considered by
the GPLv2 licensors to qualify for the special exception stated in
section 3 of GPLv2 (commonly known as the system library
exception).
There is NO WARRANTY for this software, express or implied,
including the implied warranties of NON-INFRINGEMENT, TITLE,
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
*/
#ifndef OS_DEP_H
#define OS_DEP_H
#if (WINVER < 0x0501) //Definitions for Win2K
typedef signed char INT8, *PINT8;
typedef signed short INT16, *PINT16;
typedef signed int INT32, *PINT32;
typedef signed __int64 INT64, *PINT64;
typedef unsigned char UINT8, *PUINT8;
typedef unsigned short UINT16, *PUINT16;
typedef unsigned int UINT32, *PUINT32;
typedef unsigned __int64 UINT64, *PUINT64;
#define SIZE_OF_W2K_VIDEO_HW_INITIALIZATION_DATA 0x50
#define VideoPortFreePool VideoPortReleaseBuffer
#endif
#endif
|