There are quite a lot of the case of pt->pending_intr_nr==0.
and pt_irq_masked() is more complicated.
Signed-off-by: Kouya Shimura <kouya@jp.fujitsu.com>
_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xensource.com
http://lists.xensource.com/xen-devel