hvm_timer is created with the vector got from domain_irq_to_vector(), accordingly it should use the same vector to kill the timer. The patch corrects it in pci_clean_dpci_irqs(). Signed-off-by: Weidong Han <weidong.han@intel.com> _______________________________________________ Xen-devel mailing list Xen-devel@lists.xensource.com http://lists.xensource.com/xen-devel