> Date: Wed, 8 May 2019 07:21:06 -0700
> From: Carlos Cardenas <cardena...@gmail.com>
>
> Fix kernel compile with DEBUG_AGINTC.
>
> OK?
Sure!
> +--+
> Carlos
>
> [2:text/plain Hide]
>
> Index: agintc.c
> ===================================================================
> RCS file: /cvs/src/sys/arch/arm64/dev/agintc.c,v
> retrieving revision 1.15
> diff -u -p -r1.15 agintc.c
> --- agintc.c 7 Dec 2018 21:33:28 -0000 1.15
> +++ agintc.c 8 May 2019 03:44:51 -0000
> @@ -845,7 +845,6 @@ agintc_route(struct agintc_softc *sc, in
> #ifdef DEBUG_AGINTC
> printf("router %x irq %d val %016llx\n", GICD_IROUTER(irq),
> irq, ci->ci_mpidr & MPIDR_AFF);
> - val);
> #endif
> bus_space_write_8(sc->sc_iot, sc->sc_d_ioh,
> GICD_IROUTER(irq), ci->ci_mpidr & MPIDR_AFF);
