Constant WHvX64RegisterMCount 

pub const WHvX64RegisterMCount: WHV_REGISTER_NAME;