-typedef void (interrupt_handler_t)(void *);
-
-typedef struct monitor_functions {
- int (*getc)(void);
- int (*tstc)(void);
- void (*putc)(const char c);
- void (*puts)(const char *s);
- void (*printf)(const char *fmt, ...);
- void (*install_hdlr)(int, interrupt_handler_t *, void *);
- void (*free_hdlr)(int);
- void *(*malloc)(size_t);
- void (*free)(void *);
-} mon_fnc_t;
-