Symbol: smccc_arch_workaround_1
sys/arm64/arm64/spec_workaround.c
107
PCPU_SET(bp_harden, smccc_arch_workaround_1);
sys/dev/psci/smccc.h
87
int smccc_arch_workaround_1(void);