Constant WHvX64RegisterACount 

pub const WHvX64RegisterACount: WHV_REGISTER_NAME;