|
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] Re: [Xen-devel] [PATCH 1/2] xen/arm: add a warning if the guest asks for SPI delivery to vcpu != 0.
Hi Stefano, On 25/05/14 19:06, Stefano Stabellini wrote: This is wrong, ITARGETSR store a 4 bitmask of CPUs, one per interrupt. Each bit of the mask correspond to a CPU (see Table 4-17 in the GICv2 manual). Furthermore, I think it's safe to just ignore write. The manual says:"It is IMPLEMENTATION DEFINED which, if any, SPIs are statically configured in hardware. The CPU targets field for such an SPI is read-only, and returns a value that indicates the CPU targets for the interrupt." With the former comment, your patch #2 is also wrong. s/seconday/secondary/ Regards, -- Julien Grall _______________________________________________ Xen-devel mailing list Xen-devel@xxxxxxxxxxxxx http://lists.xen.org/xen-devel
|
![]() |
Lists.xenproject.org is hosted with RackSpace, monitoring our |