subsys/debug/gdb_server.c
/*
 * Write data to debug agent console. For performance reason, the data is
 * bufferized until we receive a carriage return character or until the buffer
 * gets full.
 *
 * The buffer is also automatically flushed when system is stopped.
 */
Write data to debug agent console. For performance reason, the data is
bufferized until we receive a carriage return character or until the buffer
gets full.

The buffer is also automatically flushed when system is stopped.
Write data to debug agent console . For performance reason the data is bufferized until we receive a carriage return character or until the buffer gets full . The buffer is also automatically flushed when system is stopped .
static u32_t write_to_console(char *buf, u32_t len)
{
	u32_t ix;
	unsigned char ch;
	int key = irq_lock();
	for (ix = 0; ix < len; ix++) {
		ch = buf[ix];
		notif_data[notif_data_idx++] = ch;
		if (must_flush_notification_buffer(ch)) {
			notif_data[notif_data_idx] = '\0';
			request_notification_packet_flush();
		}
	}
	irq_unlock(key);
	return len;
}
static u32_t write_to_console ( char * buf , u32_t len ) { u32_t ix ; unsigned char ch ; int key = irq_lock ( ) ; for ( ix = 0 ; ix < len ; ix ++ ) { ch = buf [ ix ] ; notif_data [ notif_data_idx ++ ] = ch ; if ( must_flush_notification_buffer ( ch ) ) { notif_data [ notif_data_idx ] = ' \0 ' ; request_notification_packet_flush ( ) ; } } irq_unlock ( key ) ; return len ; }
Write data to debug agent console.
Write data to debug agent console .
/* Copy data to notification buffer for current CPU */