--- - branch: MAIN date: Tue Apr 21 18:24:05 UTC 2020 files: - new: '1.37' old: '1.36' path: src/sys/arch/xen/x86/xen_ipi.c pathrev: src/sys/arch/xen/x86/xen_ipi.c@1.37 type: modified id: 20200421T182405Z.63bb5bc32f05fb14b455178323155975775de0ab log: | Remove spurious reference to XEN_IPI_KICK - it represents the absence of a specific IPI type. module: src subject: 'CVS commit: src/sys/arch/xen/x86' unixtime: '1587493445' user: ad