1 /* ----------------------------------------------------------------------------
\r
2 * ATMEL Microcontroller Software Support
\r
3 * ----------------------------------------------------------------------------
\r
4 * Copyright (c) 2013, Atmel Corporation
\r
5 * All rights reserved.
\r
7 * Redistribution and use in source and binary forms, with or without
\r
8 * modification, are permitted provided that the following conditions are met:
\r
10 * - Redistributions of source code must retain the above copyright notice,
\r
11 * this list of conditions and the disclaimer below.
\r
13 * Atmel's name may not be used to endorse or promote products derived from
\r
14 * this software without specific prior written permission.
\r
16 * DISCLAIMER: THIS SOFTWARE IS PROVIDED BY ATMEL "AS IS" AND ANY EXPRESS OR
\r
17 * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF
\r
18 * MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NON-INFRINGEMENT ARE
\r
19 * DISCLAIMED. IN NO EVENT SHALL ATMEL BE LIABLE FOR ANY DIRECT, INDIRECT,
\r
20 * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
\r
21 * LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA,
\r
22 * OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF
\r
23 * LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING
\r
24 * NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE,
\r
25 * EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
\r
31 #if defined(__ICCARM__)
\r
32 #include <intrinsics.h>
\r
36 unsigned int Mode_SPSR;
\r
37 unsigned int Mode_SP;
\r
38 unsigned int Mode_LR;
\r
57 } WorldContext, *pWorldContext;
\r
60 extern void monitor_init(void);
\r
61 extern void SecureMonitor_init(void);
\r
62 extern void nw_start(void);
\r
63 extern void InitMonitor(void);
\r
64 extern void SwitchToNormalWorld(void);
\r
65 extern void SwitchToSecureWorld(void);
\r