Symbol: xen_arch_isrc_t