return 0xffffff - b; 
spin_lock_irqsave(&serial_lock, flags); ret = serial++; spin_unlock_irqrestore(&serial_lock, flags);  return ret; 
unsigned int audit_serial(void){	static atomic_t serial = ATOMIC_INIT(0xffffff);	unsigned int a, b;	do {		a = atomic_read(&serial);		if (atomic_dec_and_test(&serial))			atomic_set(&serial, 0xffffff);		b = atomic_read(&serial);	} while (b != a - 1);	return 0xffffff - b;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/d5b454f2c40c9efd0cc113bc3220ebcb66b7c022/audit.c/buggy/kernel/audit.c