The pcibackenablemsi function in the PCI backend driver (drivers/xen/pciback/confspacecapability_msi.c) in Xen for the Linux kernel 2.6.18 and 3.8 allows guest OS users with PCI device access to cause a denial of service via a large number of kernel log messages. NOTE: some of these details are obtained from third party information.