[IA64] smp_flush_tlb_mm() should only send IPI's to cpus in cpu_vm_mask
[linux-2.6] / arch / ia64 / kernel / gate-data.S
1         .section .data.gate, "aw"
2
3         .incbin "arch/ia64/kernel/gate.so"