taglinefilesource code
ss087include/linux/sched.hunsigned long  ss0;    /* 16 high bits zero */
ss0128kernel/fork.cp->tss.ss0 = 0x10;