Constant WHvX64RegisterKernelGsBase 

pub const WHvX64RegisterKernelGsBase: WHV_REGISTER_NAME;