From mboxrd@z Thu Jan  1 00:00:00 1970
From: marc.zyngier@arm.com (Marc Zyngier)
Date: Tue, 23 May 2017 17:53:09 +0100
Subject: [PATCH v2 2/9] KVM: arm: Handle VCPU device attributes in guest.c
In-Reply-To: <20170516184556.26785-3-cdall@linaro.org>
References: <20170516184556.26785-1-cdall@linaro.org>
 <20170516184556.26785-3-cdall@linaro.org>
Message-ID: <e7327872-fc8e-e0d8-d2be-d52106c7ec7b@arm.com>
To: linux-arm-kernel@lists.infradead.org
List-Id: linux-arm-kernel.lists.infradead.org

On 16/05/17 19:45, Christoffer Dall wrote:
> As we are about to support VCPU attributes to set the timer IRQ numbers
> in guest.c, move the static inlines for the VCPU attributes handlers
> from the header file to guest.c.
> 
> Signed-off-by: Christoffer Dall <cdall@linaro.org>

Acked-by: Marc Zyngier <marc.zyngier@arm.com>

	M.
-- 
Jazz is not dead. It just smells funny...