firmware/target/hosted/sdl/system-sdl.h

   1 /***************************************************************************
   2  *             __________               __   ___.
   3  *   Open      \______   \ ____   ____ |  | _\_ |__   _______  ___
   4  *   Source     |       _//  _ \_/ ___\|  |/ /| __ \ /  _ \  \/  /
   5  *   Jukebox    |    |   (  <_> )  \___|    < | \_\ (  <_> > <  <
   6  *   Firmware   |____|_  /\____/ \___  >__|_ \|___  /\____/__/\_ \
   7  *                     \/            \/     \/    \/            \/
   8  * $Id$
   9  *
  10  * Copyright (C) 2007 by Michael Sevakis
  11  *
  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.
  16  *
  17  * This software is distributed on an "AS IS" basis, WITHOUT WARRANTY OF ANY
  18  * KIND, either express or implied.
  19  *
  20  ****************************************************************************/
  21 #ifndef _SYSTEM_SDL_H_
  22 #define _SYSTEM_SDL_H_
  23
  24 #include <stdbool.h>
  25
  26 #define HIGHEST_IRQ_LEVEL 1
  27
  28 int set_irq_level(int level);
  29
  30 #define disable_irq() \
  31     ((void)set_irq_level(HIGHEST_IRQ_LEVEL))
  32
  33 #define enable_irq()  \
  34     ((void)set_irq_level(0))
  35
  36 #define disable_irq_save() \
  37     set_irq_level(HIGHEST_IRQ_LEVEL)
  38
  39 #define restore_irq(level) \
  40     ((void)set_irq_level(level))
  41
  42 void sim_enter_irq_handler(void);
  43 void sim_exit_irq_handler(void);
  44 void sim_kernel_shutdown(void);
  45 void sys_poweroff(void);
  46 void sys_handle_argv(int argc, char *argv[]);
  47
  48 extern bool background;  /* True if the background image is enabled */
  49 extern int display_zoom;
  50 extern long start_tick;
  51
  52 #endif /* _SYSTEM_SDL_H_ */