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