HelenOS sources

gdt_tss_setbase   173 kernel/arch/amd64/include/arch/pm.h extern void gdt_tss_setbase(descriptor_t *d, uintptr_t base);
gdt_tss_setbase   289 kernel/arch/amd64/src/pm.c 	gdt_tss_setbase(&gdt_p[TSS_DES], (uintptr_t) tss_p);