33 lines
1 KiB
C
33 lines
1 KiB
C
|
/***************************************************************************
|
||
|
|
* __________ __ ___.
|
||
|
|
* Open \______ \ ____ ____ | | _\_ |__ _______ ___
|
||
|
|
* Source | _// _ \_/ ___\| |/ /| __ \ / _ \ \/ /
|
||
|
|
* Jukebox | | ( <_> ) \___| < | \_\ ( <_> > < <
|
||
|
|
* Firmware |____|_ /\____/ \___ >__|_ \|___ /\____/__/\_ \
|
||
|
|
* \/ \/ \/ \/ \/
|
||
|
|
* $Id$
|
||
|
|
*
|
||
|
|
* Copyright (C) 2008 by Catalin Patulea
|
||
|
|
*
|
||
|
|
* All files in this archive are subject to the GNU General Public License.
|
||
|
|
* See the file COPYING in the source tree root for full license agreement.
|
||
|
|
*
|
||
|
|
* This software is distributed on an "AS IS" basis, WITHOUT WARRANTY OF ANY
|
||
|
|
* KIND, either express or implied.
|
||
|
|
*
|
||
|
|
****************************************************************************/
|
||
|
|
|
||
|
|
#ifndef ARM_H
|
||
|
|
#define ARM_H
|
||
|
|
#include "registers.h"
|
||
|
|
|
||
|
|
extern volatile struct ipc_message status;
|
||
|
|
|
||
|
|
void debugf(const char *fmt, ...);
|
||
|
|
|
||
|
|
inline void int_arm(void) {
|
||
|
|
CP_INTC = 1 << 3;
|
||
|
|
}
|
||
|
|
|
||
|
|
#endif
|