HelenOS sources

kseg_t             47 kernel/arch/amd64/src/kseg.c 	kseg_t *kseg;
kseg_t             49 kernel/arch/amd64/src/kseg.c 	kseg = (kseg_t *) malloc(sizeof(kseg_t));
kseg_t             59 kernel/arch/amd64/src/proc/scheduler.c 	kseg_t *kseg = (kseg_t *) read_msr(AMD_MSR_GS_KERNEL);