Symbol: XEN_NR_IPIS