Fix buildkernel with 'options KTR' in the config.
authorSascha Wildner <saw@online.de>
Mon, 10 Dec 2012 18:51:12 +0000 (19:51 +0100)
committerSascha Wildner <saw@online.de>
Mon, 10 Dec 2012 18:51:12 +0000 (19:51 +0100)
sys/kern/kern_ktr.c

index 1909ebf..5cc1e79 100644 (file)
@@ -211,7 +211,6 @@ static void ktr_pipeline_remote(void *dummy);
 #ifdef _RDTSC_SUPPORTED_
 
 static void ktr_resync_remote(void *dummy);
-extern cpumask_t smp_active_mask;
 
 /*
  * We use a callout callback instead of a systimer because we cannot afford