141     uint32_t value = s->dir;  in reflect_dir_bit_in_cnf()  local
144         s->cnf[i] = (s->cnf[i] & ~(1UL)) | ((value >> i) & 0x01);  in reflect_dir_bit_in_cnf()
184                        uint64_t value, unsigned int size)  in nrf51_gpio_write()  argument
189     trace_nrf51_gpio_write(offset, value);  in nrf51_gpio_write()
193         s->out = value;  in nrf51_gpio_write()
197         s->out |= value;  in nrf51_gpio_write()
201         s->out &= ~value;  in nrf51_gpio_write()
205         s->dir = value;  in nrf51_gpio_write()
210         s->dir |= value;  in nrf51_gpio_write()
215         s->dir &= ~value;  in nrf51_gpio_write()
221         s->cnf[idx] = value;  in nrf51_gpio_write()
226         s->dir = (s->dir & ~(1UL << idx)) | ((value & 0x01) << idx);  in nrf51_gpio_write()
246 static void nrf51_gpio_set(void *opaque, int line, int value)  in nrf51_gpio_set()  argument
250     trace_nrf51_gpio_set(line, value);  in nrf51_gpio_set()
254     s->in_mask = deposit32(s->in_mask, line, 1, value >= 0);  in nrf51_gpio_set()
255     if (value >= 0) {  in nrf51_gpio_set()
256         s->in = deposit32(s->in, line, 1, value != 0);  in nrf51_gpio_set()