1.3.13.1607/3_00_00_08+flat+Lindent
[sgx.git] / pvr / tools / ioctl.h
1 /**********************************************************************
2  *
3  * Copyright(c) 2008 Imagination Technologies Ltd. All rights reserved.
4  * 
5  * This program is free software; you can redistribute it and/or modify it
6  * under the terms and conditions of the GNU General Public License,
7  * version 2, as published by the Free Software Foundation.
8  * 
9  * This program is distributed in the hope it will be useful but, except 
10  * as otherwise stated in writing, without any warranty; without even the 
11  * implied warranty of merchantability or fitness for a particular purpose. 
12  * See the GNU General Public License for more details.
13  * 
14  * You should have received a copy of the GNU General Public License along with
15  * this program; if not, write to the Free Software Foundation, Inc.,
16  * 51 Franklin St - Fifth Floor, Boston, MA 02110-1301 USA.
17  * 
18  * The full GNU General Public License is included in this distribution in
19  * the file called "COPYING".
20  *
21  * Contact Information:
22  * Imagination Technologies Ltd. <gpl-support@imgtec.com>
23  * Home Park Estate, Kings Langley, Herts, WD4 8LZ, UK 
24  *
25  ******************************************************************************/
26
27 #ifndef _IOCTL_
28 #define _IOCTL_
29
30 IMG_UINT32 DBGDIOCDrivCreateStream(IMG_VOID *, IMG_VOID *);
31 IMG_UINT32 DBGDIOCDrivDestroyStream(IMG_VOID *, IMG_VOID *);
32 IMG_UINT32 DBGDIOCDrivGetStream(IMG_VOID *, IMG_VOID *);
33 IMG_UINT32 DBGDIOCDrivWriteString(IMG_VOID *, IMG_VOID *);
34 IMG_UINT32 DBGDIOCDrivReadString(IMG_VOID *, IMG_VOID *);
35 IMG_UINT32 DBGDIOCDrivWrite(IMG_VOID *, IMG_VOID *);
36 IMG_UINT32 DBGDIOCDrivWrite2(IMG_VOID *, IMG_VOID *);
37 IMG_UINT32 DBGDIOCDrivRead(IMG_VOID *, IMG_VOID *);
38 IMG_UINT32 DBGDIOCDrivSetCaptureMode(IMG_VOID *, IMG_VOID *);
39 IMG_UINT32 DBGDIOCDrivSetOutMode(IMG_VOID *, IMG_VOID *);
40 IMG_UINT32 DBGDIOCDrivSetDebugLevel(IMG_VOID *, IMG_VOID *);
41 IMG_UINT32 DBGDIOCDrivSetFrame(IMG_VOID *, IMG_VOID *);
42 IMG_UINT32 DBGDIOCDrivGetFrame(IMG_VOID *, IMG_VOID *);
43 IMG_UINT32 DBGDIOCDrivOverrideMode(IMG_VOID *, IMG_VOID *);
44 IMG_UINT32 DBGDIOCDrivDefaultMode(IMG_VOID *, IMG_VOID *);
45 IMG_UINT32 DBGDIOCDrivGetServiceTable(IMG_VOID *, IMG_VOID *);
46 IMG_UINT32 DBGDIOCDrivWriteStringCM(IMG_VOID *, IMG_VOID *);
47 IMG_UINT32 DBGDIOCDrivWriteCM(IMG_VOID *, IMG_VOID *);
48 IMG_UINT32 DBGDIOCDrivSetMarker(IMG_VOID *, IMG_VOID *);
49 IMG_UINT32 DBGDIOCDrivGetMarker(IMG_VOID *, IMG_VOID *);
50 IMG_UINT32 DBGDIOCDrivIsCaptureFrame(IMG_VOID *, IMG_VOID *);
51 IMG_UINT32 DBGDIOCDrivWriteLF(IMG_VOID *, IMG_VOID *);
52 IMG_UINT32 DBGDIOCDrivReadLF(IMG_VOID *, IMG_VOID *);
53 IMG_UINT32 DBGDIOCDrivResetStream(IMG_VOID *, IMG_VOID *);
54
55 IMG_UINT32(*g_DBGDrivProc[])(IMG_VOID *, IMG_VOID *) = {
56 DBGDIOCDrivCreateStream,
57             DBGDIOCDrivDestroyStream,
58             DBGDIOCDrivGetStream,
59             DBGDIOCDrivWriteString,
60             DBGDIOCDrivReadString,
61             DBGDIOCDrivWrite,
62             DBGDIOCDrivRead,
63             DBGDIOCDrivSetCaptureMode,
64             DBGDIOCDrivSetOutMode,
65             DBGDIOCDrivSetDebugLevel,
66             DBGDIOCDrivSetFrame,
67             DBGDIOCDrivGetFrame,
68             DBGDIOCDrivOverrideMode,
69             DBGDIOCDrivDefaultMode,
70             DBGDIOCDrivGetServiceTable,
71             DBGDIOCDrivWrite2,
72             DBGDIOCDrivWriteStringCM,
73             DBGDIOCDrivWriteCM,
74             DBGDIOCDrivSetMarker,
75             DBGDIOCDrivGetMarker,
76             DBGDIOCDrivIsCaptureFrame,
77             DBGDIOCDrivWriteLF, DBGDIOCDrivReadLF, DBGDIOCDrivResetStream,};
78
79 #define MAX_DBGVXD_W32_API (sizeof(g_DBGDrivProc)/sizeof(IMG_UINT32))
80
81 #endif