1 /***************************************************************************
3 * Open \______ \ ____ ____ | | _\_ |__ _______ ___
4 * Source | _// _ \_/ ___\| |/ /| __ \ / _ \ \/ /
5 * Jukebox | | ( <_> ) \___| < | \_\ ( <_> > < <
6 * Firmware |____|_ /\____/ \___ >__|_ \|___ /\____/__/\_ \
10 * Copyright (C) 2007 by Michael Sevakis
12 * This program is free software; you can redistribute it and/or
13 * modify it under the terms of the GNU General Public License
14 * as published by the Free Software Foundation; either version 2
15 * of the License, or (at your option) any later version.
17 * This software is distributed on an "AS IS" basis, WITHOUT WARRANTY OF ANY
18 * KIND, either express or implied.
20 ****************************************************************************/
21 #ifndef _SYSTEM_SDL_H_
22 #define _SYSTEM_SDL_H_
26 #include "gcc_extensions.h"
28 #define HIGHEST_IRQ_LEVEL 1
30 int set_irq_level(int level
);
32 #define disable_irq() \
33 ((void)set_irq_level(HIGHEST_IRQ_LEVEL))
35 #define enable_irq() \
36 ((void)set_irq_level(0))
38 #define disable_irq_save() \
39 set_irq_level(HIGHEST_IRQ_LEVEL)
41 #define restore_irq(level) \
42 ((void)set_irq_level(level))
44 #include "system-hosted.h"
46 void sim_enter_irq_handler(void);
47 void sim_exit_irq_handler(void);
48 void sim_kernel_shutdown(void);
49 void sys_poweroff(void);
50 void sys_handle_argv(int argc
, char *argv
[]);
51 void gui_message_loop(void);
52 void sim_do_exit(void) NORETURN_ATTR
;
54 extern bool background
; /* True if the background image is enabled */
55 extern bool showremote
;
56 extern int display_zoom
;
57 extern long start_tick
;
59 #endif /* _SYSTEM_SDL_H_ */