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