115                         uint64_t value, unsigned size)  in scoop_write()  argument
118     value &= 0xffff;  in scoop_write()
122         s->mcr = value;  in scoop_write()
125         s->cdr = value;  in scoop_write()
128         s->power = value;  in scoop_write()
129         if (value & 0x80) {  in scoop_write()
134         s->ccr = value;  in scoop_write()
137         s->irr = value;  in scoop_write()
140         s->imr = value;  in scoop_write()
143         s->isr = value;  in scoop_write()
146         s->gpio_dir = value;  in scoop_write()
151         s->gpio_level = value & s->gpio_dir;  in scoop_write()