x86: fix broken flush_tlb_others_ipi(), fix

Impact: cleanup Use the proper type. Signed-off-by: Ingo Molnar <mingo@elte.hu>
git-mirror · Jan 15, 2009 · 54da5b3 · 54da5b3
1 parent d2287f5
commit 54da5b3
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/arch/x86/kernel/tlb_64.c b/arch/x86/kernel/tlb_64.c
@@ -188,7 +188,8 @@ static void flush_tlb_others_ipi(const struct cpumask *cpumask,
 	 * We have to send the IPI only to
 	 * CPUs affected.
 	 */
-	send_IPI_mask(f->flush_cpumask, INVALIDATE_TLB_VECTOR_START + sender);
+	send_IPI_mask(to_cpumask(f->flush_cpumask),
+		      INVALIDATE_TLB_VECTOR_START + sender);
 
 	while (!cpumask_empty(to_cpumask(f->flush_cpumask)))
 		cpu_relax();