diff --git a/[refs] b/[refs]
index de8d06c057e5..cf86c5ba5998 100644
--- a/[refs]
+++ b/[refs]
@@ -1,2 +1,2 @@
 ---
-refs/heads/master: d2287f5ebea9ff2487d614719775f0b03fce15f6
+refs/heads/master: 54da5b3d44238eeb7417bacf792fb416d473bf4d
diff --git a/trunk/arch/x86/kernel/tlb_64.c b/trunk/arch/x86/kernel/tlb_64.c
index 54ee2ecb5e26..7f4141d3b661 100644
--- a/trunk/arch/x86/kernel/tlb_64.c
+++ b/trunk/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();