Constant WHvX64RegisterVirtualCr4 

pub const WHvX64RegisterVirtualCr4: WHV_REGISTER_NAME;