Fix compile in the case of SMP defined but DDB not defined.

Approved by:	re (implicit, DP2 doesn't build w/o this)
This commit is contained in:
John Baldwin 2002-11-20 14:09:33 +00:00
parent 662c0429b9
commit 69da428022
Notes: svn2git 2020-12-20 02:59:44 +00:00
svn path=/head/; revision=107103

View File

@ -55,6 +55,8 @@
* $FreeBSD$
*/
#include "opt_ddb.h"
#include <sys/param.h>
#include <sys/systm.h>
#include <sys/lock.h>
@ -455,7 +457,11 @@ cpu_ipi_send(u_int mid, u_long d0, u_long d1, u_long d2)
if ((ldxa(0, ASI_INTR_DISPATCH_STATUS) & IDR_NACK) == 0)
return;
}
if (db_active || panicstr != NULL)
if (
#ifdef DDB
db_active ||
#endif
panicstr != NULL)
printf("ipi_send: couldn't send ipi to module %u\n", mid);
else
panic("ipi_send: couldn't send ipi");