HelenOS sources

UDATA_DES          67 kernel/arch/amd64/src/pm.c 	[UDATA_DES] = {
UDATA_DES          70 kernel/arch/amd64/src/userspace.c 	    :: [udata_des] "i" (GDT_SELECTOR(UDATA_DES) | PL_USER),
UDATA_DES          88 kernel/arch/ia32/src/pm.c 	[UDATA_DES] = {
UDATA_DES          74 kernel/arch/ia32/src/userspace.c 	      [udata_des] "i" (GDT_SELECTOR(UDATA_DES) | PL_USER),
HelenOS homepage, sources at GitHub