1/* SPDX-License-Identifier: GPL-2.0 */ 2#include <linux/linkage.h> 3 4 .arch armv7-a 5 .arch_extension sec 6ENTRY(tango_smc) 7 push {lr} 8 mov ip, r1 9 dsb /* This barrier is probably unnecessary */ 10 smc #0 11 pop {pc} 12ENDPROC(tango_smc) 13