Searched refs:pl031_read (Results 1 – 2 of 2) sorted by relevance
83 static uint64_t pl031_read(void *opaque, hwaddr offset, in pl031_read() function185 .read = pl031_read,
16 pl031_read(uint32_t addr, uint32_t value) "addr 0x%08x value 0x%08x"