/* Kernel Object Display facility for Cisco
   Copyright (C) 1999 Free Software Foundation, Inc.
   
This file is part of GDB.

This program is free software; you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation; either version 2 of the License, or
(at your option) any later version.

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

You should have received a copy of the GNU General Public License
along with this program; if not, write to the Free Software
Foundation, Inc., 51 Franklin Street, Fifth Floor,
Boston, MA 02110-1301, USA.  */

#ifndef KOD_H
#define KOD_H

typedef void kod_display_callback_ftype (char *);
typedef void kod_query_callback_ftype (char *, char *, int *);

/* ???/???: Functions imported from the library for all supported
   OSes.  FIXME: we really should do something better, such as
   dynamically loading the KOD modules.  */

/* FIXME: cagney/1999-09-20: The kod-cisco.c et.al. kernel modules
   should register themselve with kod.c during the _initialization*()
   phase.  With that implemented the extern declarations below would
   be replaced with the KOD register function that the various kernel
   modules should call.  An example of this mechanism can be seen in
   gdbarch.c:register_gdbarch_init(). */

#if 0
/* Don't have ecos code yet. */
extern char *ecos_kod_open (kod_display_callback_ftype *display_func,
			    kod_query_callback_ftype *query_func);
extern void ecos_kod_request (char *, int);
extern void ecos_kod_close (void);
#endif

/* Initialize and return library name and version.  The gdb side of
   KOD, kod.c, passes us two functions: one for displaying output
   (presumably to the user) and the other for querying the target.  */

extern char *cisco_kod_open (kod_display_callback_ftype *display_func,
			     kod_query_callback_ftype *query_func);

/* Print information about currently known kernel objects.  We
   currently ignore the argument.  There is only one mode of querying
   the Cisco kernel: we ask for a dump of everything, and it returns
   it.  */

extern void cisco_kod_request (char *arg, int from_tty);

extern void cisco_kod_close (void);

#endif