From mboxrd@z Thu Jan 1 00:00:00 1970 From: Ian Campbell Subject: Re: [PATCH 10/10] xen/arm: vgic-v2: Print the domain/vcpu in each message Date: Tue, 20 Jan 2015 16:09:52 +0000 Message-ID: <1421770192.10440.317.camel@citrix.com> References: <1421684957-29884-1-git-send-email-julien.grall@linaro.org> <1421684957-29884-11-git-send-email-julien.grall@linaro.org> Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Return-path: Received: from mail6.bemta14.messagelabs.com ([193.109.254.103]) by lists.xen.org with esmtp (Exim 4.72) (envelope-from ) id 1YDber-00084b-T2 for xen-devel@lists.xenproject.org; Tue, 20 Jan 2015 16:28:02 +0000 In-Reply-To: <1421684957-29884-11-git-send-email-julien.grall@linaro.org> List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Sender: xen-devel-bounces@lists.xen.org Errors-To: xen-devel-bounces@lists.xen.org To: Julien Grall Cc: xen-devel@lists.xenproject.org, tim@xen.org, stefano.stabellini@citrix.com List-Id: xen-devel@lists.xenproject.org On Mon, 2015-01-19 at 16:29 +0000, Julien Grall wrote: Please reference the switch to gdprintk being the mechanism for achieving this, otherwise: Acked-by: Ian Campbell