optarr 97 drivers/xen/pci.c add->optarr[0] = pxm; optarr 263 include/xen/interface/physdev.h uint32_t optarr[]; optarr 265 include/xen/interface/physdev.h uint32_t optarr[0];