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