PR/50282 CVS commit: src/sys/arch/xen/x86

["Jaromir Dolecek" <jdolecek%netbsd.org@localhost>]

The following reply was made to PR port-xen/50282; it has been noted by GNATS.

From: "Jaromir Dolecek" <jdolecek%netbsd.org@localhost>
To: gnats-bugs%gnats.NetBSD.org@localhost
Cc: 
Subject: PR/50282 CVS commit: src/sys/arch/xen/x86
Date: Sat, 23 Jun 2018 15:53:14 +0000

 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.