1 /**********************************************************************
3 * Copyright(c) 2008 Imagination Technologies Ltd. All rights reserved.
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.
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.
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.
18 * The full GNU General Public License is included in this distribution in
19 * the file called "COPYING".
21 * Contact Information:
22 * Imagination Technologies Ltd. <gpl-support@imgtec.com>
23 * Home Park Estate, Kings Langley, Herts, WD4 8LZ, UK
25 ******************************************************************************/
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 *);
55 IMG_UINT32(*g_DBGDrivProc[])(IMG_VOID *, IMG_VOID *) = {
56 DBGDIOCDrivCreateStream,
57 DBGDIOCDrivDestroyStream,
59 DBGDIOCDrivWriteString,
60 DBGDIOCDrivReadString,
63 DBGDIOCDrivSetCaptureMode,
64 DBGDIOCDrivSetOutMode,
65 DBGDIOCDrivSetDebugLevel,
68 DBGDIOCDrivOverrideMode,
69 DBGDIOCDrivDefaultMode,
70 DBGDIOCDrivGetServiceTable,
72 DBGDIOCDrivWriteStringCM,
76 DBGDIOCDrivIsCaptureFrame,
77 DBGDIOCDrivWriteLF, DBGDIOCDrivReadLF, DBGDIOCDrivResetStream,};
79 #define MAX_DBGVXD_W32_API (sizeof(g_DBGDrivProc)/sizeof(IMG_UINT32))