ARM_SMCCC_VENDOR_HYP_UID_KVM
uuid = ARM_SMCCC_VENDOR_HYP_UID_KVM;
uuid_t kvm_uuid = ARM_SMCCC_VENDOR_HYP_UID_KVM;