Re: kernel crash on 29-July snapshot: WARNING: SPL NOT LOWERED ON SYSCALL 28 19 EXIT 48549400 7

[Martin Pieuchot]

On 01/08/17(Tue) 10:41, Andrei-Marius Radu wrote:
> Hi,
> 
> I've just upgraded via bsd.rd to the 31st of July snapshot and the
> crash is still 100% reproductible, please see below.

Thanks for the report, diff below should fix it.  Do you confirm?

Index: net/if_spppsubr.c
===================================================================
RCS file: /cvs/src/sys/net/if_spppsubr.c,v
retrieving revision 1.165
diff -u -p -r1.165 if_spppsubr.c
--- net/if_spppsubr.c   16 Jun 2017 10:58:43 -0000      1.165
+++ net/if_spppsubr.c   1 Aug 2017 09:43:22 -0000
@@ -665,6 +665,7 @@ sppp_output(struct ifnet *ifp, struct mb
        rv = if_enqueue(ifp, m);
        if (rv != 0) {
                ifp->if_oerrors++;
+               splx(s);
                return (rv);
        }
 
@@ -674,6 +675,7 @@ sppp_output(struct ifnet *ifp, struct mb
         * according to RFC 1333.
         */
        ifp->if_obytes += sp->pp_framebytes;
+       splx(s);
 
        return (0);
 }