17a007bc60
Change-Id: I21c9c21fd664fb11bc8496ace4a389f535a030d6
47 lines
1.4 KiB
C
47 lines
1.4 KiB
C
/***************************************************************************
|
|
* __________ __ ___.
|
|
* Open \______ \ ____ ____ | | _\_ |__ _______ ___
|
|
* Source | _// _ \_/ ___\| |/ /| __ \ / _ \ \/ /
|
|
* Jukebox | | ( <_> ) \___| < | \_\ ( <_> > < <
|
|
* Firmware |____|_ /\____/ \___ >__|_ \|___ /\____/__/\_ \
|
|
* \/ \/ \/ \/ \/
|
|
* $Id$
|
|
*
|
|
* Copyright (C) 2010 by Thomas Martitz
|
|
*
|
|
* This program is free software; you can redistribute it and/or
|
|
* modify it under the terms of the GNU General Public License
|
|
* as published by the Free Software Foundation; either version 2
|
|
* of the License, or (at your option) any later version.
|
|
*
|
|
* This software is distributed on an "AS IS" basis, WITHOUT WARRANTY OF ANY
|
|
* KIND, either express or implied.
|
|
*
|
|
****************************************************************************/
|
|
|
|
#ifndef __SYSTEM_HOSTED_H__
|
|
#define __SYSTEM_HOSTED_H__
|
|
|
|
#ifndef __PCTOOL__
|
|
|
|
static inline void commit_dcache(void) {}
|
|
static inline void commit_discard_dcache(void) {}
|
|
static inline void commit_discard_idcache(void) {}
|
|
|
|
static inline void core_sleep(void)
|
|
{
|
|
enable_irq();
|
|
wait_for_interrupt();
|
|
}
|
|
|
|
#endif /* __PCTOOL__ */
|
|
|
|
#if defined(WIN32) || defined(__PCTOOL__)
|
|
|
|
#ifndef alloca
|
|
#define alloca __builtin_alloca
|
|
#endif
|
|
|
|
#endif /* WIN32 || __PCTOOL__ */
|
|
|
|
#endif
|