Constant MSR_AMD64_SEV_ES_GHCB 

pub const MSR_AMD64_SEV_ES_GHCB: u32 = 0xc0010130;