x86: fix broken flush_tlb_others_ipi(), fix
authorIngo Molnar <mingo@elte.hu>
Thu, 15 Jan 2009 12:04:58 +0000 (13:04 +0100)
committerIngo Molnar <mingo@elte.hu>
Thu, 15 Jan 2009 12:04:58 +0000 (13:04 +0100)
Impact: cleanup

Use the proper type.

Signed-off-by: Ingo Molnar <mingo@elte.hu>
arch/x86/kernel/tlb_64.c

index 54ee2ecb5e267cd3fe83a966d44977bc23ab8775..7f4141d3b66193d3a88c1f44b29e82de6aaf349b 100644 (file)
@@ -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();