On 09/09/15 14:55, Ian Campbell wrote: >>> Based on the spec, those 2 checks are wrong and make impossible to use >>> LPIs. Please test this patch series before sending it on the ML. >> >> Why do you think so?. > > Consider which LPI is the subject of the word at the address pointed to by > GICR_PROPBASER. I think it is LPI==0 (== IRQ 8192), whereas this code > suggests that you think the entry for LPI==0 is at offset 8192 in the prop > table, which I don't think is correct.
For the spec section: 6.1.2 in ARM IHI 0069A. Regards, -- Julien Grall _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel
