sf_s0              91 kern/arch/mips/thread/switchframe.c         sf->sf_s0 = (uint32_t)entrypoint;
sf_s0              40 kern/arch/mips/thread/switchframe.h         uint32_t sf_s0;