mark Sun Apr 19 16:37:22 PDT 1998 Update of /cvsroot/src/sys/arch/arm32/arm32 In directory nb00:/tmp/cvs-serv12219 Modified Files: cpuswitch.S Log Message: Fix the indenting of the comments in this file.