hw/xen/xen_pt_msi.c@xen_pt_msi_disable;
hw/xen/xen_pt_config_init.c@xen_pt_msgctrl_reg_write;hw/xen/xen_pt_msi.c@xen_pt_msi_disable	
hw/xen/xen_pt_config_init.c@xen_pt_msixctrl_reg_write;
hw/xen/xen_pt_msi.c@pci_msix_write;
