]>
Commit | Line | Data |
---|---|---|
2494eaf6 SC |
1 | /* dbg_hif.h -- ARMulator debug interface: ARM6 Instruction Emulator. |
2 | Copyright (C) 1994 Advanced RISC Machines Ltd. | |
3 | ||
4 | This program is free software; you can redistribute it and/or modify | |
5 | it under the terms of the GNU General Public License as published by | |
6 | the Free Software Foundation; either version 2 of the License, or | |
7 | (at your option) any later version. | |
8 | ||
9 | This program is distributed in the hope that it will be useful, | |
10 | but WITHOUT ANY WARRANTY; without even the implied warranty of | |
11 | MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
12 | GNU General Public License for more details. | |
13 | ||
14 | You should have received a copy of the GNU General Public License | |
15 | along with this program; if not, write to the Free Software | |
16 | Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA. */ | |
17 | ||
18 | #ifdef __STDC__ | |
19 | # include <stdarg.h> | |
20 | #else | |
21 | # include <varargs.h> | |
22 | #endif | |
23 | ||
24 | typedef void Hif_DbgPrint(void *arg, const char *format, va_list ap); | |
25 | typedef void Hif_DbgPause(void *arg); | |
26 | ||
27 | typedef void Hif_WriteC(void *arg, int c); | |
28 | typedef int Hif_ReadC(void *arg); | |
29 | typedef int Hif_Write(void *arg, char const *buffer, int len); | |
30 | typedef char *Hif_GetS(void *arg, char *buffer, int len); | |
31 | ||
32 | typedef void Hif_RDIResetProc(void *arg); | |
33 | ||
34 | struct Dbg_HostosInterface { | |
35 | Hif_DbgPrint *dbgprint; | |
36 | Hif_DbgPause *dbgpause; | |
37 | void *dbgarg; | |
38 | ||
39 | Hif_WriteC *writec; | |
40 | Hif_ReadC *readc; | |
41 | Hif_Write *write; | |
42 | Hif_GetS *gets; | |
43 | void *hostosarg; | |
44 | ||
45 | Hif_RDIResetProc *reset; | |
46 | void *resetarg; | |
47 | }; |