89 static void ficr_write(void *opaque, hwaddr offset, uint64_t value,  in ficr_write()  argument
179 static void uicr_write(void *opaque, hwaddr offset, uint64_t value,  in uicr_write()  argument
185     s->uicr_content[offset / 4] = value;  in uicr_write()
218 static void io_write(void *opaque, hwaddr offset, uint64_t value,  in io_write()  argument
225         s->config = value & NRF51_NVMC_CONFIG_MASK;  in io_write()
231             value &= ~(NRF51_PAGE_SIZE - 1);  in io_write()
232             if (value <= (s->flash_size - NRF51_PAGE_SIZE)) {  in io_write()
233                 memset(s->storage + value, 0xFF, NRF51_PAGE_SIZE);  in io_write()
234                 memory_region_flush_rom_device(&s->flash, value,  in io_write()
244         if (value == NRF51_NVMC_ERASE) {  in io_write()
256         if (value == NRF51_NVMC_ERASE) {  in io_write()
285 static void flash_write(void *opaque, hwaddr offset, uint64_t value,  in flash_write()  argument
297         oldval &= value;  in flash_write()