From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1753482AbbKQRem (ORCPT ); Tue, 17 Nov 2015 12:34:42 -0500 Received: from foss.arm.com ([217.140.101.70]:58481 "EHLO foss.arm.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1750969AbbKQRel (ORCPT ); Tue, 17 Nov 2015 12:34:41 -0500 Message-ID: <564B652C.8060409@arm.com> Date: Tue, 17 Nov 2015 17:34:36 +0000 From: Marc Zyngier Organization: ARM Ltd User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Icedove/31.7.0 MIME-Version: 1.0 To: Will Deacon , Stefano Stabellini CC: xen-devel@lists.xensource.com, linux-kernel@vger.kernel.org, linux-arm-kernel@lists.infradead.org, konrad.wilk@oracle.com, Ian.Campbell@citrix.com, linux@arm.linux.org.uk, olof@lixom.net, arnd@arndb.de, catalin.marinas@arm.com, nico@linaro.org, cov@codeaurora.org Subject: Re: [PATCH v11 4/5] arm64: introduce CONFIG_PARAVIRT, PARAVIRT_TIME_ACCOUNTING and pv_time_ops References: <1446737696-9749-4-git-send-email-stefano.stabellini@eu.citrix.com> <20151117172914.GL30101@arm.com> In-Reply-To: <20151117172914.GL30101@arm.com> Content-Type: text/plain; charset=windows-1252 Content-Transfer-Encoding: 7bit Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On 17/11/15 17:29, Will Deacon wrote: > On Tue, Nov 10, 2015 at 02:11:38PM +0000, Stefano Stabellini wrote: >> On Thu, 5 Nov 2015, Stefano Stabellini wrote: >>> Introduce CONFIG_PARAVIRT and PARAVIRT_TIME_ACCOUNTING on ARM64. >>> Necessary duplication of paravirt.h and paravirt.c with ARM. >>> >>> The only paravirt interface supported is pv_time_ops.steal_clock, so no >>> runtime pvops patching needed. >>> >>> This allows us to make use of steal_account_process_tick for stolen >>> ticks accounting. >>> >>> Signed-off-by: Stefano Stabellini >>> Acked-by: Marc Zyngier >> >> Ping? >> >> Catalin, Will, >> are you happy with this change? > > I'm happy if Marc's happy. Marc? My Ack is already on the tin! ;-) M. -- Jazz is not dead. It just smells funny...