sf_s1              92 kern/arch/mips/thread/switchframe.c         sf->sf_s1 = (uint32_t)data1;
sf_s1              41 kern/arch/mips/thread/switchframe.h         uint32_t sf_s1;