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