From mboxrd@z Thu Jan 1 00:00:00 1970 From: Julien Grall Subject: Re: [RFC 05/22] xen/arm: gic-v3: Rework the print message at initialization Date: Fri, 5 Jun 2015 16:13:14 +0100 Message-ID: <5571BC8A.5030504@citrix.com> References: <1431091783-29090-1-git-send-email-julien.grall@citrix.com> <1431091783-29090-6-git-send-email-julien.grall@citrix.com> <1433506709.7108.247.camel@citrix.com> 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 1Z0tJn-0004QN-AC for xen-devel@lists.xenproject.org; Fri, 05 Jun 2015 15:13:59 +0000 In-Reply-To: <1433506709.7108.247.camel@citrix.com> List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Sender: xen-devel-bounces@lists.xen.org Errors-To: xen-devel-bounces@lists.xen.org To: Ian Campbell , Julien Grall Cc: xen-devel@lists.xenproject.org, tim@xen.org, stefano.stabellini@citrix.com List-Id: xen-devel@lists.xenproject.org On 05/06/15 13:18, Ian Campbell wrote: > On Fri, 2015-05-08 at 14:29 +0100, Julien Grall wrote: > > Subject: "messages printed" > >> - Print all the redistributor regions rather than only the first >> one... >> - Add # in the format to print 0x for hexadecimal. It's easier to >> differentiation from decimal > > FWIW # doesn't work if the value is 0 (it still comes out as 0, not > 0x0). Some people prefer 0x%FOO for that reason (mainly if you are > trying to line things up). I remembered some people asking me to # rather than 0x because it saves one byte. > > You may not care here. I don't mind to switch to 0x. >> - Re-order informations printed >> - Drop print of the virtual address. It's not useful > > The virtual address may appear in BUG info and stack traces etc, e.g. in > the fault addresses as well as in registers, where it may be useful to > know that an address corresponds (or is supposed to) the GIC. Access to those regions are done via read*/write macro and via the PC you can get easily the offending register. With the virtual address of the GIC region, you would have to find the base address and know the size. It would take more time to find the real problem. Furthermore, it's more difficult to read the info message for the re-distributor. Regards, -- Julien Grall