Constant WHvX64RegisterApicInitCount 

pub const WHvX64RegisterApicInitCount: WHV_REGISTER_NAME;