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 */
20