1/*
 2 * Copyright 2014 Linaro Ltd.
 3 * Copyright (C) 2014 ZTE Corporation.
 4 *
 5 * This program is free software; you can redistribute it and/or modify
 6 * it under the terms of the GNU General Public License version 2 as
 7 * published by the Free Software Foundation.
 8 */
 9
10#ifndef __MACH_ZX_CORE_H
11#define __MACH_ZX_CORE_H
12
13extern void zx_resume_jump(void);
14extern size_t zx_suspend_iram_sz;
15extern unsigned long zx_secondary_startup_pa;
16
17void zx_secondary_startup(void);
18
19#endif /* __MACH_ZX_CORE_H */