Constant WHvX64RegisterXCr0 

pub const WHvX64RegisterXCr0: WHV_REGISTER_NAME;