HelenOS sources

KTEXT_DES          54 kernel/arch/amd64/src/pm.c 	[KTEXT_DES] = {
KTEXT_DES         173 kernel/arch/amd64/src/pm.c 		d->selector = GDT_SELECTOR(KTEXT_DES);
KTEXT_DES          59 kernel/arch/amd64/src/syscall.c 	    ((uint64_t) (GDT_SELECTOR(KTEXT_DES) | PL_KERNEL) << 32));
KTEXT_DES          54 kernel/arch/ia32/include/arch/pm.h #define KTEXT32_DES        KTEXT_DES
KTEXT_DES          67 kernel/arch/ia32/src/pm.c 	[KTEXT_DES] = {
KTEXT_DES         173 kernel/arch/ia32/src/pm.c 		d->selector = GDT_SELECTOR(KTEXT_DES);
KTEXT_DES          49 kernel/arch/ia32/src/syscall.c 	write_msr(IA32_MSR_SYSENTER_CS, GDT_SELECTOR(KTEXT_DES));