Some small style fixes.

This commit is contained in:
John Baldwin 2004-12-23 20:35:51 +00:00
parent e367f46738
commit 4cddb026bb

View File

@ -1131,8 +1131,8 @@ forward_hardclock(void)
ipi_selected(map, IPI_HARDCLOCK);
}
void ipi_bitmap_handler(struct clockframe frame)
void
ipi_bitmap_handler(struct clockframe frame)
{
int cpu = PCPU_GET(cpuid);
u_int ipi_bitmap;
@ -1166,7 +1166,6 @@ void ipi_bitmap_handler(struct clockframe frame)
critical_exit();
}
/*
* send an IPI to a set of cpus.
*/