x86: fix broken flush_tlb_others_ipi(), fix

Impact: cleanup

Use the proper type.

Signed-off-by: Ingo Molnar <mingo@elte.hu>
This commit is contained in:
Ingo Molnar 2009-01-15 13:04:58 +01:00
commit 54da5b3d44