1 /* SPDX-License-Identifier: GPL-2.0-only */ 2 /* 3 * Copyright 2014 Linaro Ltd. 4 * Copyright (C) 2014 ZTE Corporation. 5 */ 6 7 #ifndef __MACH_ZX_CORE_H 8 #define __MACH_ZX_CORE_H 9 10 extern void zx_resume_jump(void); 11 extern size_t zx_suspend_iram_sz; 12 extern unsigned long zx_secondary_startup_pa; 13 14 void zx_secondary_startup(void); 15 16 #endif /* __MACH_ZX_CORE_H */