spl question

[Maxime Villard]

What happens if the kernel calls splx(s) twice? And what happens if it
forgets to call splx(s)? Like:

        s = splnet();

        [...] NOT RELATED TO S

        return;   NO SPLX(S)


I guess it creates some inconsistency, right?