1 /***************************************************************************
3 * Open \______ \ ____ ____ | | _\_ |__ _______ ___
4 * Source | _// _ \_/ ___\| |/ /| __ \ / _ \ \/ /
5 * Jukebox | | ( <_> ) \___| < | \_\ ( <_> > < <
6 * Firmware |____|_ /\____/ \___ >__|_ \|___ /\____/__/\_ \
10 * Copyright (C) 2007 by Michael Sevakis
12 * All files in this archive are subject to the GNU General Public License.
13 * See the file COPYING in the source tree root for full license agreement.
15 * This software is distributed on an "AS IS" basis, WITHOUT WARRANTY OF ANY
16 * KIND, either express or implied.
18 ****************************************************************************/
19 #ifndef _SYSTEM_SDL_H_
20 #define _SYSTEM_SDL_H_
24 #define HIGHEST_IRQ_LEVEL 1
26 int set_irq_level(int level
);
28 #define disable_irq() \
29 ((void)set_irq_level(HIGHEST_IRQ_LEVEL))
31 #define enable_irq() \
32 ((void)set_irq_level(0))
34 #define disable_irq_save() \
35 set_irq_level(HIGHEST_IRQ_LEVEL)
37 #define restore_irq(level) \
38 ((void)set_irq_level(level))
40 void sim_enter_irq_handler(void);
41 void sim_exit_irq_handler(void);
42 bool sim_kernel_init(void);
43 void sim_kernel_shutdown(void);
45 extern long start_tick
;
47 #endif /* _SYSTEM_SDL_H_ */