HelenOS sources

KDATA_DES          61 kernel/arch/amd64/src/pm.c 	[KDATA_DES] = {
KDATA_DES          58 kernel/arch/amd64/src/syscall.c 	    ((uint64_t) (GDT_SELECTOR(KDATA_DES) | PL_USER) << 48) |
KDATA_DES          74 kernel/arch/ia32/src/pm.c 	[KDATA_DES] = {
KDATA_DES          71 kernel/arch/ia32/src/proc/scheduler.c 	CPU->arch.tss->ss0 = GDT_SELECTOR(KDATA_DES);