Constant WHvRegisterSint7

pub const WHvRegisterSint7: WHV_REGISTER_NAME;