|  |  | 
  
    |  |  | 
 
  |   |  | 
  
    |  |  | 
  
    |  |  | 
  
    |   xen-devel
[Xen-devel] lock issue for vpic_irq_negative_edge 
| 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
 | 
 
| <Prev in Thread] | Current Thread | [Next in Thread> |  | 
[Xen-devel] lock issue for vpic_irq_negative_edge,
Tian, Kevin <=
 |  |  | 
  
    |  |  |