Constant WHvRegisterInternalActivityState 

pub const WHvRegisterInternalActivityState: WHV_REGISTER_NAME;