smccc_enable_arch_workaround_2
smccc_enable_arch_workaround_2();
void smccc_enable_arch_workaround_2(void);