#ifndef O_LARGEFILE
#define O_LARGEFILE 0
#endif
+#ifndef O_BINARY
+#define O_BINARY 0
+#endif
#ifdef _WIN32
#define lseek64 lseek
void pic_set_irq(int irq, int level);
void pic_init(void);
+uint32_t pic_intack_read(CPUState *env);
/* i8254.c */
/* monitor.c */
void monitor_init(void);
-void term_printf(const char *fmt, ...);
+void term_printf(const char *fmt, ...) __attribute__ ((__format__ (__printf__, 1, 2)));
void term_flush(void);
void term_print_help(void);