home *** CD-ROM | disk | FTP | other *** search
- #ifndef __MAIN_H__
- #define __MAIN_H__
-
- #include "log.h"
-
- // Intercept commands from user (Interactive=on)
- void system_getcommands(void);
-
- // Initialize timer to TM_HZ hertz
- void system_timer_init(void);
- void system_timer_install(void);
- void system_timer_uninstall(void);
-
- // emit text to log (do not add newline)
- void system_log(u32 srcflags, const char *text);
-
- // Emit a status item for UI.
- void system_report_status(status_item item, va_list va);
-
- // signal to inform frontend that debugger is enabled/disabled
- // or paused/running. Do not call debugger_enable or execution_pause
- // in here!
- void system_debugger_enabled(bool enabled);
- void system_execution_paused(bool paused);
-
- #endif
-
-