--- zzzz-none-000/linux-4.1.52/arch/arm/kernel/armksyms.c	2018-05-28 02:26:45.000000000 +0000
+++ bcm63-7530ax-731/linux-4.1.52/arch/arm/kernel/armksyms.c	2022-03-02 11:37:12.000000000 +0000
@@ -16,6 +16,9 @@
 #include <linux/syscalls.h>
 #include <linux/uaccess.h>
 #include <linux/io.h>
+#if defined(CONFIG_BCM_KF_OPTEE)
+#include <linux/arm-smccc.h>
+#endif
 
 #include <asm/checksum.h>
 #include <asm/ftrace.h>
@@ -169,3 +172,10 @@
 EXPORT_SYMBOL(__pv_phys_pfn_offset);
 EXPORT_SYMBOL(__pv_offset);
 #endif
+
+#if defined(CONFIG_BCM_KF_OPTEE)
+#ifdef CONFIG_HAVE_ARM_SMCCC
+EXPORT_SYMBOL(__arm_smccc_smc);
+EXPORT_SYMBOL(__arm_smccc_hvc);
+#endif
+#endif /* CONFIG_BCM_KF_OPTEE */