Symbol: ARM_SMCCC_VENDOR_HYP_KVM_PTP_FUNC_ID