Constant WHvX64RegisterCr0 

pub const WHvX64RegisterCr0: WHV_REGISTER_NAME;