Constant WHvX64RegisterApicCurrentCount 

pub const WHvX64RegisterApicCurrentCount: WHV_REGISTER_NAME;