HelenOS sources

VREG_DES           98 kernel/arch/ia32/src/pm.c 	[VREG_DES] = {		/* will be reinitialized later */
VREG_DES           79 kernel/arch/ia32/src/userspace.c 	      [vreg_des] "r" (GDT_SELECTOR(VREG_DES))
VREG_DES           70 kernel/arch/ia32/src/vreg.c 	gdt_setbase(&gdt_p[VREG_DES], (uintptr_t) page);
VREG_DES           71 kernel/arch/ia32/src/vreg.c 	gdt_setlimit(&gdt_p[VREG_DES], sizeof(uint32_t));
VREG_DES           73 kernel/arch/ia32/src/vreg.c 	gs_load(GDT_SELECTOR(VREG_DES));