[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

On 04/26/2013 10:05 AM, Ian Campbell wrote:

> 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)

I tried the lasted, so the 4.8, the compilation works. For the moment I
haven't tried to boot xen.


Xen-devel mailing list



Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.