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