114                        uint64_t value, unsigned int size)  in uart_write()  argument
118     trace_nrf51_uart_write(addr, value, size);  in uart_write()
127             s->reg[R_UART_TXD] = value;  in uart_write()
133         s->reg[R_UART_INTEN] = value;  in uart_write()
136         s->reg[R_UART_INTEN] |= value;  in uart_write()
139         s->reg[R_UART_INTEN] &= ~value;  in uart_write()
142         s->reg[addr / 4] = value;  in uart_write()
145         s->reg[addr / 4] &= ~value;  in uart_write()
150         if (value == 0) {  in uart_write()
155         if (value == 1) {  in uart_write()
160         if (value == 1) {  in uart_write()
165         if (value) {  in uart_write()
166             if (value == 4) {  in uart_write()
172         value = 1;  in uart_write()
176         if (value == 1) {  in uart_write()
181         if (addr != A_UART_STOPTX && value == 1) {  in uart_write()
187         s->reg[addr / 4] = value;  in uart_write()