cgd Fri Apr 10 13:29:02 PDT 1998 Update of /cvsroot/src/sys/arch/arm32/arm32 In directory nb00:/tmp/cvs-serv20542 Modified Files: stubs.c Log Message: current_spl_level should be initialized to _SPL_HIGH.