1/* SPDX-License-Identifier: GPL-2.0-only */
2/*
3 * Keystone Secure APIs
4 *
5 * Copyright (C) 2013 Texas Instruments, Inc.
6 * 	Santosh Shilimkar <santosh.shilimkar@ti.com>
7 */
8
9#include <linux/linkage.h>
10
11/**
12 * u32 keystone_cpu_smc(u32 command, u32 cpu, u32 addr)
13 *
14 * Low level CPU monitor API
15 * @command:	Monitor command.
16 * @cpu:	CPU Number
17 * @addr:	Kernel jump address for boot CPU
18 *
19 * Return: Non zero value on failure
20 */
21	.arch_extension sec
22ENTRY(keystone_cpu_smc)
23	stmfd   sp!, {r4-r11, lr}
24	smc	#0
25	ldmfd   sp!, {r4-r11, pc}
26ENDPROC(keystone_cpu_smc)
27