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?