143 static void pl181_fifo_push(PL181State *s, uint32_t value)  in pl181_fifo_push()  argument
153     s->fifo[n] = value;  in pl181_fifo_push()
154     trace_pl181_fifo_push(value);  in pl181_fifo_push()
159     uint32_t value;  in pl181_fifo_pop()  local
165     value = s->fifo[s->fifo_pos];  in pl181_fifo_pop()
168     trace_pl181_fifo_pop(value);  in pl181_fifo_pop()
169     return value;  in pl181_fifo_pop()
217     uint32_t value = 0;  in pl181_fifo_run()  local
227                 value |= (uint32_t)sdbus_read_byte(&s->sdbus) << (n * 8);  in pl181_fifo_run()
231                     pl181_fifo_push(s, value);  in pl181_fifo_run()
233                     value = 0;  in pl181_fifo_run()
237                 pl181_fifo_push(s, value);  in pl181_fifo_run()
243                     value = pl181_fifo_pop(s);  in pl181_fifo_run()
248                 sdbus_write_byte(&s->sdbus, value & 0xff);  in pl181_fifo_run()
249                 value >>= 8;  in pl181_fifo_run()
362             uint32_t value;  in pl181_read()  local
363             value = pl181_fifo_pop(s);  in pl181_read()
367             return value;  in pl181_read()
377                         uint64_t value, unsigned size)  in pl181_write()  argument
383         s->power = value & 0xff;  in pl181_write()
386         s->clock = value & 0xff;  in pl181_write()
389         s->cmdarg = value;  in pl181_write()
392         s->cmd = value;  in pl181_write()
409         s->datatimer = value;  in pl181_write()
412         s->datalength = value & 0xffff;  in pl181_write()
415         s->datactrl = value & 0xff;  in pl181_write()
416         if (value & PL181_DATA_ENABLE) {  in pl181_write()
422         s->status &= ~(value & 0x7ff);  in pl181_write()
425         s->mask[0] = value;  in pl181_write()
428         s->mask[1] = value;  in pl181_write()
437             pl181_fifo_push(s, value);  in pl181_write()