--- - branch: MAIN date: Sat Jun 23 15:53:14 UTC 2018 files: - new: '1.24' old: '1.23' path: src/sys/arch/xen/x86/xen_ipi.c pathrev: src/sys/arch/xen/x86/xen_ipi.c@1.24 type: modified id: 20180623T155314Z.51a83efeeb9e1c00427ff6f25b5cf8141e1937ab log: | make compile without DDB PR port-xen/50282 module: src subject: 'CVS commit: src/sys/arch/xen/x86' unixtime: '1529769194' user: jdolecek