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