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
15extern const struct smp_operations keystone_smp_ops;
16extern void secondary_startup(void);
17extern u32 keystone_cpu_smc(u32 command, u32 cpu, u32 addr);
18extern int keystone_pm_runtime_init(void);
19
20#endif /* __ASSEMBLER__ */
21#endif /* __KEYSTONE_H__ */