18c2ecf20Sopenharmony_ci/* SPDX-License-Identifier: GPL-2.0 */ 28c2ecf20Sopenharmony_ci#include <linux/linkage.h> 38c2ecf20Sopenharmony_ci 48c2ecf20Sopenharmony_ci .arch armv7-a 58c2ecf20Sopenharmony_ci .arch_extension sec 68c2ecf20Sopenharmony_ciENTRY(tango_smc) 78c2ecf20Sopenharmony_ci push {lr} 88c2ecf20Sopenharmony_ci mov ip, r1 98c2ecf20Sopenharmony_ci dsb /* This barrier is probably unnecessary */ 108c2ecf20Sopenharmony_ci smc #0 118c2ecf20Sopenharmony_ci pop {pc} 128c2ecf20Sopenharmony_ciENDPROC(tango_smc) 13