1839a1840,1849
> 	// betzw: added WARN_ON(!signal_pending(current))
> 	if(!signal_pending(current)) {
> 	  static unsigned int warn_count = 1;
> 
> 	  // WARN_ON(!signal_pending(current));
> 	  printk(KERN_WARNING "=====> betzw: futex_wait warning #%u\n", warn_count++);
> 
> 	  // betzw: trial for a workaround
> 	  set_tsk_thread_flag(current,TIF_SIGPENDING);
> 	}
2600a2611,2619
> 
> 	// betzw: added WARN_ON(!signal_pending(current))
> 	if((ret < -256) && !signal_pending(current)) {
> 	  static unsigned int warn_count = 1;
> 
> 	  // WARN_ON(!signal_pending(current));
> 	  printk(KERN_WARNING "=====> betzw: do_futex warning (ret: %d, cmd: %d) #%u\n", -ret, cmd, warn_count++);
> 	}
>