add: PROFILING_ONLY(device->intRxTotalCount++); PROFILING_ONLY(device->intRxCurrentCount++);
context: rtl8169_int(void *data){	rtl8169_device *device = (rtl8169_device *)data;	uint16 stat;	int32 ret;	stat = read16(REG_INT_STAT);	if (stat == 0 || stat == 0xffff)		return B_UNHANDLED_INTERRUPT;		write16(REG_INT_STAT, stat);	ret = B_HANDLED_INTERRUPT;	if (stat & INT_FOVW) {		TRACE("INT_FOVW\n");	}	if (stat & INT_PUN) {		TRACE("INT_PUN\n");		dump_phy_stat(device);		print_link_status(device);	}	if (stat & (INT_TOK | INT_TER)) {		rtl8169_tx_int(device);		ret = B_INVOKE_SCHEDULER;	}	if (stat & (INT_ROK | INT_RER)) {		rtl8169_rx_int(device);		ret = B_INVOKE_SCHEDULER;	}  	return ret;}