> 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);