1 /* SPDX-License-Identifier: GPL-2.0-only */
2 /*
3  * Copyright 2013 Texas Instruments, Inc.
4  *	Cyril Chemparathy <cyril@ti.com>
5  *	Santosh Shilimkar <santosh.shillimkar@ti.com>
6  */
7 
8 #ifndef __KEYSTONE_H__
9 #define __KEYSTONE_H__
10 
11 #define KEYSTONE_MON_CPU_UP_IDX		0x00
12 
13 #ifndef __ASSEMBLER__
14 
15 extern const struct smp_operations keystone_smp_ops;
16 extern void secondary_startup(void);
17 extern u32 keystone_cpu_smc(u32 command, u32 cpu, u32 addr);
18 extern int keystone_pm_runtime_init(void);
19 
20 #endif /* __ASSEMBLER__ */
21 #endif /* __KEYSTONE_H__ */
22