/* FIXME: Implement input interrupts. */
}
-static uint32_t pl061_read(void *opaque, target_phys_addr_t offset)
+static uint32_t pl061_read(void *opaque, a_target_phys_addr offset)
{
pl061_state *s = (pl061_state *)opaque;
}
}
-static void pl061_write(void *opaque, target_phys_addr_t offset,
+static void pl061_write(void *opaque, a_target_phys_addr offset,
uint32_t value)
{
pl061_state *s = (pl061_state *)opaque;