1 /*
2  * Copyright (c) 2016, ARM Limited and Contributors. All rights reserved.
3  *
4  * SPDX-License-Identifier: BSD-3-Clause
5  */
6 
7 #ifndef __M0_CTL_H__
8 #define __M0_CTL_H__
9 
10 #include <m0_param.h>
11 
12 #define M0_BINCODE_BASE 	((uintptr_t)rk3399m0_bin)
13 #define M0_PARAM_ADDR		(M0_BINCODE_BASE + PARAM_ADDR)
14 
15 /* pmu_fw.c */
16 extern char rk3399m0_bin[];
17 extern char rk3399m0_bin_end[];
18 
19 extern void m0_init(void);
20 extern void m0_start(void);
21 extern void m0_stop(void);
22 extern void m0_wait_done(void);
23 #endif /* __M0_CTL_H__ */
24