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)
commit54da5b3d44238eeb7417bacf792fb416d473bf4d
treec7f80acef545271f088a25b1f9ca7da47ea53c22
parentd2287f5ebea9ff2487d614719775f0b03fce15f6
x86: fix broken flush_tlb_others_ipi(), fix

Impact: cleanup

Use the proper type.

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