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 10extern void zx_resume_jump(void); 11extern size_t zx_suspend_iram_sz; 12extern unsigned long zx_secondary_startup_pa; 13 14void zx_secondary_startup(void); 15 16#endif /* __MACH_ZX_CORE_H */ 17