#define stderr STDERR
FILE* stderr = NULL;
-static void checkpoint();
+static void checkpoint(void);
#ifdef __MINGW32__
void nonono(const char* file, int line, const char* msg) {
};
#ifdef DEBUG
-static void checkpoint() {
+static void checkpoint(void) {
assert(((mapping_t*)array_get(&(vvv->mapping), 0))->end == 2);
check1(vvv);
check2(vvv);
extern FILE *logfile;
/* commpage.c */
-void commpage_init();
+void commpage_init(void);
void do_commpage(void *cpu_env, int num, uint32_t arg1, uint32_t arg2, uint32_t arg3,
uint32_t arg4, uint32_t arg5, uint32_t arg6, uint32_t arg7, uint32_t arg8);
uint32_t arg4, uint32_t arg5, uint32_t arg6, uint32_t arg7,
uint32_t arg8)
{
- extern uint32_t mach_reply_port();
+ extern uint32_t mach_reply_port(void);
long ret = 0;
uint32_t arg8)
{
extern uint32_t cthread_set_self(uint32_t);
- extern uint32_t processor_facilities_used();
+ extern uint32_t processor_facilities_used(void);
long ret = 0;
arg1 = tswap32(arg1);
}
long do_unix_syscall_indirect(void *cpu_env, int num);
-long do_sync();
+long do_sync(void);
long do_exit(uint32_t arg1);
long do_getlogin(char *out, uint32_t size);
long do_open(char * arg1, uint32_t arg2, uint32_t arg3);
return -1;
}
-long do_sync()
+long do_sync(void)
{
sync();
return 0;
#if 0
/* One must explicitely check that the TB is valid and the FOE bit is reset */
-static void update_itb ()
+static void update_itb (void)
{
/* This writes into a temp register, not the actual one */
mtpr(TB_TAG);
mtpr(ITB_PTE);
}
-static void update_dtb ();
+static void update_dtb (void);
{
mtpr(TB_CTL);
/* This write into a temp register, not the actual one */
CC_SRC = eflags;
}
-void helper_single_step()
+void helper_single_step(void)
{
env->dr[6] |= 0x4000;
raise_exception(EXCP01_SSTP);
/* function references */
-void helper_stgi();
+void helper_stgi(void);
void vmexit(uint64_t exit_code, uint64_t exit_info_1);
int svm_check_intercept_param(uint32_t type, uint64_t param);
static inline int svm_check_intercept(unsigned int type) {
{NULL, }
};
-static void show_available_alarms()
+static void show_available_alarms(void)
{
int i;