Constant WHvX64RegisterVirtualCr0 

pub const WHvX64RegisterVirtualCr0: WHV_REGISTER_NAME;