Searched refs:pl031_write (Results 1 – 2 of 2) sorted by relevance
132 static void pl031_write(void * opaque, hwaddr offset, in pl031_write() function186 .write = pl031_write,
17 pl031_write(uint32_t addr, uint32_t value) "addr 0x%08x value 0x%08x"