HelenOS sources

AMD_MSR_GS_KERNEL   57 kernel/arch/amd64/src/kseg.c 	write_msr(AMD_MSR_GS_KERNEL, (uintptr_t) kseg);
AMD_MSR_GS_KERNEL   59 kernel/arch/amd64/src/proc/scheduler.c 	kseg_t *kseg = (kseg_t *) read_msr(AMD_MSR_GS_KERNEL);