local_flush_tlb_all(); __ia64_per_cpu_var(ia64_need_tlb_flush) = 0;
spin_lock_irqsave(&ia64_ctx.lock, flags); { if (__ia64_per_cpu_var(ia64_need_tlb_flush)) { local_flush_tlb_all(); __ia64_per_cpu_var(ia64_need_tlb_flush) = 0; } } spin_unlock_irqrestore(&ia64_ctx.lock, flags);
delayed_tlb_flush (void){	extern void local_flush_tlb_all (void);	if (unlikely(__ia64_per_cpu_var(ia64_need_tlb_flush))) {		local_flush_tlb_all();		__ia64_per_cpu_var(ia64_need_tlb_flush) = 0;	}}