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