*port->rec_ctrl = IO_STATE(R_SERIAL0_REC_CTRL, rec_enable, enable);
*kgdb_port->rec_ctrl = IO_STATE(R_SERIAL0_REC_CTRL, rec_enable, enable);
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);}