ARM_SMCCC_KVM_FUNC_PTP
ret = kvm_arm_hyp_service_available(ARM_SMCCC_KVM_FUNC_PTP);
ARM_SMCCC_KVM_FUNC_PTP)