local_irq_enable(); 
asmlinkage void __do_softirq(void){	struct softirq_action *h;	__u32 pending;	int max_restart = MAX_SOFTIRQ_RESTART;	int cpu;	pending = local_softirq_pending();	local_bh_disable();	cpu = smp_processor_id();restart:	/* Reset the pending bitmask before enabling irqs */	local_softirq_pending() = 0;	local_irq_enable();	h = softirq_vec;	do {		if (pending & 1) {			h->action(h);			rcu_bh_qsctr_inc(cpu);		}		h++;		pending >>= 1;	} while (pending);	local_irq_disable();	pending = local_softirq_pending();	if (pending && --max_restart)		goto restart;	if (pending)		wakeup_softirqd();	__local_bh_enable();}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/ed6b676ca8b50e0b538e61c283d52fd04f007abf/softirq.c/clean/kernel/softirq.c