HelenOS sources

gdt_setbase       164 kernel/arch/ia32/include/arch/pm.h extern void gdt_setbase(descriptor_t *d, uintptr_t base);
gdt_setbase       296 kernel/arch/ia32/src/pm.c 	gdt_setbase(&gdt_p[TSS_DES], (uintptr_t) tss_p);
gdt_setbase        70 kernel/arch/ia32/src/vreg.c 	gdt_setbase(&gdt_p[VREG_DES], (uintptr_t) page);