taglinefilesource code
ret_sys_call154arch/sparc/kernel/process.cextern void ret_sys_call(void);
ret_sys_call179arch/sparc/kernel/process.cp->tss.kpc = (((unsigned long) ret_sys_call) - 0x8);