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