1 /* SPDX-License-Identifier: GPL-2.0-only */ 2 3 #include <asm/kvm_hypevents.h> 4 5 #include <linux/arm-smccc.h> 6 7 #undef arm_smccc_1_1_smc 8 #define arm_smccc_1_1_smc(...) \ 9 do { \ 10 __hyp_exit(); \ 11 __arm_smccc_1_1(SMCCC_SMC_INST, __VA_ARGS__); \ 12 __hyp_enter(); \ 13 } while (0) 14