}
}
-static uint32_t pl181_read(void *opaque, target_phys_addr_t offset)
+static uint32_t pl181_read(void *opaque, a_target_phys_addr offset)
{
pl181_state *s = (pl181_state *)opaque;
uint32_t tmp;
}
}
-static void pl181_write(void *opaque, target_phys_addr_t offset,
+static void pl181_write(void *opaque, a_target_phys_addr offset,
uint32_t value)
{
pl181_state *s = (pl181_state *)opaque;