if (ia64_ia32mode) { scno = ia64_regs.gr[0]; } else { scno = ia64_regs.gr[15]; }