XEN_PCI_MAGIC
"magic", XEN_PCI_MAGIC);
if (magic == NULL || strcmp(magic, XEN_PCI_MAGIC) != 0) {
magic, XEN_PCI_MAGIC);