| /* SPDX-License-Identifier: GPL-2.0-only */ | |
| /* | |
| * Copyright 2014 Linaro Ltd. | |
| * Copyright (C) 2014 ZTE Corporation. | |
| */ | |
| #ifndef __MACH_ZX_CORE_H | |
| #define __MACH_ZX_CORE_H | |
| extern void zx_resume_jump(void); | |
| extern size_t zx_suspend_iram_sz; | |
| extern unsigned long zx_secondary_startup_pa; | |
| void zx_secondary_startup(void); | |
| #endif /* __MACH_ZX_CORE_H */ |