[Xen-devel] lock issue for vpic_irq_negative_edge

["Tian, Kevin" <kevin.tian@xxxxxxxxx>]

Hi, Keir,
        vPIC has a private lock, but there's no acquisition in the
injection 
path. This should be a potential issue for change on IRR. Then the 
assertion (ASSERT(vpic_is_locked(vpic)) is likely to be failed within 
vpic_irq_negative_edge if debug option is enabled. Is anything 
missing here?

Thanks,
Kevin

_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-devel