hvc_kick(); 
/* if hvc_poll request a repoll, then kick the hvcd thread */ if (hvc_poll(dev_instance)) hvc_kick(); 
static irqreturn_t hvc_handle_interrupt(int irq, void *dev_instance, struct pt_regs *regs){	hvc_kick();	return IRQ_HANDLED;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/8b67f8c177a642b35b7a05f530c12ef2834ef182/hvc_console.c/buggy/drivers/char/hvc_console.c