On 19 December 2011 11:53, Evgeny Voevodin <e.voevo...@samsung.com> wrote:
> +static uint64_t exynos4210_gic_cpu_read(void *opaque, target_phys_addr_t
> offset,
> + unsigned size)
> +{
> + Exynos4210GicState *s = (Exynos4210GicState *) opaque;
> + DPRINTF_EXYNOS4210_GIC("CPU%d: read offset 0x%x\n",
> + gic_get_current_cpu(), offset);
> + return gic_cpu_read(&s->gic, gic_get_current_cpu(), offset & ~0x8000);
> +}
arm_gic.c exposes the CPU and distributor interfaces as their own
memory regions now -- you shouldn't need any of this intermediate
layer of functions.
(Reviewing the rest of this series is on my todo list but I can't
guarantee I'll get to it until after Christmas now.)
-- PMM
