*R_IRQ_MASK1_SET = port->irq; 
if (!kgdb_port) return;  *R_IRQ_MASK1_SET = kgdb_port->irq; 
enableDebugIRQ(void){	*R_IRQ_MASK1_SET = port->irq;	/* use R_VECT_MASK directly, since we really bypass Linux normal	 * IRQ handling in kgdb anyway, we don't need to use enable_irq	 */	*R_VECT_MASK_SET = IO_STATE(R_VECT_MASK_SET, serial, set);	*port->rec_ctrl = IO_STATE(R_SERIAL0_REC_CTRL, rec_enable, enable);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/05b4c28cba8dc48505322988340307073c353b1e/debugport.c/clean/arch/cris/arch-v10/kernel/debugport.c