MSR_AMD_KGSBASE
{ .msr = MSR_AMD_KGSBASE, .name = "KGSBASE" },
wrmsr(MSR_AMD_KGSBASE, 0x200000000ul);
wrmsr(MSR_AMD_KGSBASE, pcb->pcb_gsbase);