Searched refs:tss_ss2 (Results 1 – 2 of 2) sorted by relevance
25 int tss_ss2; /* actually 16 bits: top 16 bits must be zero */ member
89 printf("#define\tPCB_SS2 %d\n", &pcb->pcb_tss.tss_ss2); in main()