Module Name: src Committed By: jdolecek Date: Sat Jun 23 15:53:14 UTC 2018
Modified Files:
src/sys/arch/xen/x86: xen_ipi.c
Log Message:
make compile without DDB
PR port-xen/50282
To generate a diff of this commit:
cvs rdiff -u -r1.23 -r1.24 src/sys/arch/xen/x86/xen_ipi.c
Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.
