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