arm_smccc_get_version
kvm_host_psci_config.smccc_version = arm_smccc_get_version();
if (arm_smccc_get_version() < ARM_SMCCC_VERSION_1_2)
if (arm_smccc_get_version() < ARM_SMCCC_VERSION_1_2)
EXPORT_SYMBOL_GPL(arm_smccc_get_version);
if (arm_smccc_get_version() < ARM_SMCCC_VERSION_1_2)
u32 arm_smccc_get_version(void);