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>

No differences found