gdt_put_slot       85 arch/i386/i386/gdt.c void gdt_put_slot(int);
gdt_put_slot      283 arch/i386/i386/gdt.c 	gdt_put_slot(IDXSEL(sel));
gdt_put_slot      307 arch/i386/i386/gdt.c 	gdt_put_slot(slot);