Module Name: src Committed By: dholland Date: Sun Jan 27 05:08:58 UTC 2019
Modified Files:
src/sys/arch/xen/x86: xen_ipi.c
Log Message:
fix duplicated chunk from merge
To generate a diff of this commit:
cvs rdiff -u -r1.30 -r1.31 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.
