pub const MSR_AMD64_PATCH_LEVEL: u32 = 139;