HelenOS sources

UTEXT_DES          74 kernel/arch/amd64/src/pm.c 	[UTEXT_DES] = {
UTEXT_DES          73 kernel/arch/amd64/src/userspace.c 	      [utext_des] "i" (GDT_SELECTOR(UTEXT_DES) | PL_USER),
UTEXT_DES          81 kernel/arch/ia32/src/pm.c 	[UTEXT_DES] = {
UTEXT_DES          77 kernel/arch/ia32/src/userspace.c 	      [utext_des] "i" (GDT_SELECTOR(UTEXT_DES) | PL_USER),