/*
|
/*
|
* Copyright (C) 1995 Advanced RISC Machines Limited. All rights reserved.
|
* Copyright (C) 1995 Advanced RISC Machines Limited. All rights reserved.
|
*
|
*
|
* This software may be freely used, copied, modified, and distributed
|
* This software may be freely used, copied, modified, and distributed
|
* provided that the above copyright notice is preserved in all copies of the
|
* provided that the above copyright notice is preserved in all copies of the
|
* software.
|
* software.
|
*/
|
*/
|
|
|
/*
|
/*
|
* ARM debugger toolbox : dbg_hif.c
|
* ARM debugger toolbox : dbg_hif.c
|
* Description of the Dbg_HostosInterface structure. This is *NOT*
|
* Description of the Dbg_HostosInterface structure. This is *NOT*
|
* part of the debugger toolbox, but it is required by 2 back ends
|
* part of the debugger toolbox, but it is required by 2 back ends
|
* (armul & pisd) and two front ends (armsd & wdbg), so putting it
|
* (armul & pisd) and two front ends (armsd & wdbg), so putting it
|
* in the toolbox is the only way of avoiding multiple copies.
|
* in the toolbox is the only way of avoiding multiple copies.
|
*/
|
*/
|
|
|
/*
|
/*
|
* RCS $Revision: 1.1.1.1 $
|
* RCS $Revision: 1.1.1.1 $
|
* Checkin $Date: 2001-05-18 11:16:38 $
|
* Checkin $Date: 2001-05-18 11:16:38 $
|
*/
|
*/
|
|
|
#ifndef dbg_hif__h
|
#ifndef dbg_hif__h
|
#define dbg_hif__h
|
#define dbg_hif__h
|
|
|
#ifdef STDC_HEADERS
|
#ifdef STDC_HEADERS
|
# include <stdarg.h>
|
# include <stdarg.h>
|
#else
|
#else
|
# include <varargs.h>
|
# include <varargs.h>
|
#endif
|
#endif
|
|
|
typedef void Hif_DbgPrint(void *arg, const char *format, va_list ap);
|
typedef void Hif_DbgPrint(void *arg, const char *format, va_list ap);
|
typedef void Hif_DbgPause(void *arg);
|
typedef void Hif_DbgPause(void *arg);
|
|
|
typedef void Hif_WriteC(void *arg, int c);
|
typedef void Hif_WriteC(void *arg, int c);
|
typedef int Hif_ReadC(void *arg);
|
typedef int Hif_ReadC(void *arg);
|
typedef int Hif_Write(void *arg, char const *buffer, int len);
|
typedef int Hif_Write(void *arg, char const *buffer, int len);
|
typedef char *Hif_GetS(void *arg, char *buffer, int len);
|
typedef char *Hif_GetS(void *arg, char *buffer, int len);
|
|
|
typedef void Hif_RDIResetProc(void *arg);
|
typedef void Hif_RDIResetProc(void *arg);
|
|
|
struct Dbg_HostosInterface {
|
struct Dbg_HostosInterface {
|
Hif_DbgPrint *dbgprint;
|
Hif_DbgPrint *dbgprint;
|
Hif_DbgPause *dbgpause;
|
Hif_DbgPause *dbgpause;
|
void *dbgarg;
|
void *dbgarg;
|
|
|
Hif_WriteC *writec;
|
Hif_WriteC *writec;
|
Hif_ReadC *readc;
|
Hif_ReadC *readc;
|
Hif_Write *write;
|
Hif_Write *write;
|
Hif_GetS *gets;
|
Hif_GetS *gets;
|
void *hostosarg;
|
void *hostosarg;
|
|
|
Hif_RDIResetProc *reset;
|
Hif_RDIResetProc *reset;
|
void *resetarg;
|
void *resetarg;
|
};
|
};
|
|
|
#endif
|
#endif
|
|
|
