smccc_needs_arch_workaround_3
smccc_needs_arch_workaround_3()) {
int smccc_needs_arch_workaround_3(void);