From mboxrd@z Thu Jan 1 00:00:00 1970 From: Pavel Fedin Subject: RE: [PATCH v3 2/3] Detect vGIC presence at runtime Date: Fri, 14 Aug 2015 16:41:30 +0300 Message-ID: <018c01d0d696$edd8a0e0$c989e2a0$@samsung.com> References: <55CDD056.8010703@arm.com> <017201d0d68c$82ae4950$880adbf0$@samsung.com> <55CDE8CB.5040205@arm.com> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Cc: 'Christoffer Dall' To: 'Marc Zyngier' , kvmarm@lists.cs.columbia.edu, kvm@vger.kernel.org Return-path: Received: from mailout3.w1.samsung.com ([210.118.77.13]:31888 "EHLO mailout3.w1.samsung.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1751429AbbHNNlf (ORCPT ); Fri, 14 Aug 2015 09:41:35 -0400 Received: from eucpsbgm1.samsung.com (unknown [203.254.199.244]) by mailout3.w1.samsung.com (Oracle Communications Messaging Server 7.0.5.31.0 64bit (built May 5 2014)) with ESMTP id <0NT200DCMRD8S200@mailout3.w1.samsung.com> for kvm@vger.kernel.org; Fri, 14 Aug 2015 14:41:32 +0100 (BST) In-reply-to: <55CDE8CB.5040205@arm.com> Content-language: ru Sender: kvm-owner@vger.kernel.org List-ID: Hello! > This is completely Linux-specific, unfortunately. Yes. But better than nothing. > And it relies on > userpace to expose a modified DT, so you need to be able to report back > to userspace that you can't deal with the virtual timer. Easy. If KVM_CAP_IRQCHIP == 0, then we apparently don't have vGIC, and since we know that vGIC and vTimer are paired, we know that there is no vTimer too. Kind regards, Pavel Fedin Expert Engineer Samsung Electronics Research center Russia