Symbol: ARM_SMCCC_CPU_WORKAROUND_4193714
arch/arm64/kvm/arm.c
2681
arm_smccc_1_1_smc(ARM_SMCCC_CPU_WORKAROUND_4193714, &res);
arch/arm64/kvm/hyp/nvhe/mem_protect.c
43
hyp_smccc_1_1_smc(ARM_SMCCC_CPU_WORKAROUND_4193714, &res);