_raw_spin_unlock(&kernel_flag); preempt_enable(); 
spin_unlock(&kernel_flag); 
static inline void __unlock_kernel(void){	_raw_spin_unlock(&kernel_flag);	preempt_enable();}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/fb1c8f93d869b34cacb8b8932e2b83d96a19d720/kernel_lock.c/buggy/lib/kernel_lock.c