x86: fix broken flush_tlb_others_ipi(), fix

Impact: cleanup

Use the proper type.

Signed-off-by: Ingo Molnar <mingo@elte.hu>

1 files changed, 2 insertions, 1 deletions

diff --git a/arch/x86/kernel/tlb_64.c b/arch/x86/kernel/tlb_64.c
index 54ee2ecb5e26..7f4141d3b661 100644
--- 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();