taglinefilesource code
ret_sys_call80arch/sparc/kernel/process.cextern void ret_sys_call(void);
ret_sys_call127arch/sparc/kernel/process.cp->tss.pc = (((unsigned long) ret_sys_call) - 8);