1 /*
2  * (C) Copyright 2017 Heiko Stuebner <heiko@sntech.de>
3  *
4  * SPDX-License-Identifier:	GPL-2.0
5  */
6 
7 #ifndef _ASM_ARCH_BOOTROM_H
8 #define _ASM_ARCH_BOOTROM_H
9 
10 /*
11  * Saved Stack pointer address.
12  * Access might be needed in some special cases.
13  */
14 extern u32 SAVE_SP_ADDR;
15 
16 /*
17  * Hand control back to the bootrom to load another
18  * boot stage.
19  */
20 extern void back_to_bootrom(void);
21 
22 #endif
23