ci_idle_tss_sel   516 arch/i386/i386/machdep.c 	ci->ci_idle_tss_sel = tss_alloc(pcb);
ci_idle_tss_sel   104 arch/i386/include/cpu.h 	int ci_idle_tss_sel;		/* TSS selector of idle PCB */