gdb/kod.h

   1 /* Kernel Object Display facility for Cisco
   2    Copyright (C) 1999 Free Software Foundation, Inc.
   3
   4 This file is part of GDB.
   5
   6 This program is free software; you can redistribute it and/or modify
   7 it under the terms of the GNU General Public License as published by
   8 the Free Software Foundation; either version 2 of the License, or
   9 (at your option) any later version.
  10
  11 This program is distributed in the hope that it will be useful,
  12 but WITHOUT ANY WARRANTY; without even the implied warranty of
  13 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  14 GNU General Public License for more details.
  15
  16 You should have received a copy of the GNU General Public License
  17 along with this program; if not, write to the Free Software
  18 Foundation, Inc., 51 Franklin Street, Fifth Floor,
  19 Boston, MA 02110-1301, USA.  */
  20
  21 #ifndef KOD_H
  22 #define KOD_H
  23
  24 typedef void kod_display_callback_ftype (char *);
  25 typedef void kod_query_callback_ftype (char *, char *, int *);
  26
  27 /* ???/???: Functions imported from the library for all supported
  28    OSes.  FIXME: we really should do something better, such as
  29    dynamically loading the KOD modules.  */
  30
  31 /* FIXME: cagney/1999-09-20: The kod-cisco.c et.al. kernel modules
  32    should register themselve with kod.c during the _initialization*()
  33    phase.  With that implemented the extern declarations below would
  34    be replaced with the KOD register function that the various kernel
  35    modules should call.  An example of this mechanism can be seen in
  36    gdbarch.c:register_gdbarch_init(). */
  37
  38 #if 0
  39 /* Don't have ecos code yet. */
  40 extern char *ecos_kod_open (kod_display_callback_ftype *display_func,
  41                             kod_query_callback_ftype *query_func);
  42 extern void ecos_kod_request (char *, int);
  43 extern void ecos_kod_close (void);
  44 #endif
  45
  46 /* Initialize and return library name and version.  The gdb side of
  47    KOD, kod.c, passes us two functions: one for displaying output
  48    (presumably to the user) and the other for querying the target.  */
  49
  50 extern char *cisco_kod_open (kod_display_callback_ftype *display_func,
  51                              kod_query_callback_ftype *query_func);
  52
  53 /* Print information about currently known kernel objects.  We
  54    currently ignore the argument.  There is only one mode of querying
  55    the Cisco kernel: we ask for a dump of everything, and it returns
  56    it.  */
  57
  58 extern void cisco_kod_request (char *arg, int from_tty);
  59
  60 extern void cisco_kod_close (void);
  61
  62 #endif