Re: [Xen-devel] [PATCH v3 04/13] xen/arm: support for guest SGI

[Ian Campbell <Ian.Campbell@xxxxxxxxxx>]

On Thu, 2013-04-25 at 20:03 +0100, Julien Grall wrote:
> On 04/24/2013 08:07 PM, Stefano Stabellini wrote:
> 
> > +                    break;
> > +                default:
> > +                    printk("vGICD: unhandled GICD_SGIR write %x with wrong 
> > TargetListFilter field\n", *r);
> 
> The type of r is register_t, which is equal to u64 on arm64 and u32 on
> arm32. You should use PRIregister.

This is true, I expect it breaks compile on arm64?

The cross compiler I use is at
http://www.linaro.org/engineering/armv8/#tab3
I've got gcc-linaro-aarch64-linux-gnu-4.7-2013.01-20130125_linux but no
reason why 2013.04 shouldn't also work (I've not tried the 4.8 which I
see has appeared there now)

If you want to go mad for it then instructions for cross-compiling tools
for arm64 are at
http://wiki.xen.org/wiki/Xen_ARM_with_Virtualization_Extensions/CrossCompiling
Annoyingly these don't work for the hypervisor right now, for some weird
linker related reason which I've not go to the bottom of.

Ian.


_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxx
http://lists.xen.org/xen-devel