From 07c9733604c1b4697da26696b4fd0033b354f13d Mon Sep 17 00:00:00 2001 From: Andrew Turner Date: Wed, 18 Nov 2020 09:23:47 +0000 Subject: [PATCH] Add debugging to the GICv3 driver --- sys/arm64/arm64/gic_v3.c | 3 +++ 1 file changed, 3 insertions(+) diff --git a/sys/arm64/arm64/gic_v3.c b/sys/arm64/arm64/gic_v3.c index a83ef576e30..42361b4d71f 100644 --- a/sys/arm64/arm64/gic_v3.c +++ b/sys/arm64/arm64/gic_v3.c @@ -1153,6 +1153,7 @@ gic_v3_redist_find(struct gic_v3_softc *sc) aff = (CPU_AFF3(aff) << 24) | (CPU_AFF2(aff) << 16) | (CPU_AFF1(aff) << 8) | CPU_AFF0(aff); +printf("%s: aff = %lx\n", __func__, aff); if (bootverbose) { device_printf(sc->dev, "Start searching for Re-Distributor\n"); @@ -1164,6 +1165,7 @@ gic_v3_redist_find(struct gic_v3_softc *sc) r_bsh = rman_get_bushandle(&r_res); pidr2 = bus_read_4(&r_res, GICR_PIDR2); +printf("%s: pidr2 = %x\n", __func__, pidr2); switch (GICR_PIDR2_ARCH(pidr2)) { case GICR_PIDR2_ARCH_GICv3: /* fall through */ case GICR_PIDR2_ARCH_GICv4: @@ -1176,6 +1178,7 @@ gic_v3_redist_find(struct gic_v3_softc *sc) do { typer = bus_read_8(&r_res, GICR_TYPER); +printf("%s: typer = %lx\n", __func__, typer); if ((typer >> GICR_TYPER_AFF_SHIFT) == aff) { KASSERT(sc->gic_redists.pcpu[cpuid] != NULL, ("Invalid pointer to per-CPU redistributor")); -- 2.27.0