Constant WHvRegisterSint7 

pub const WHvRegisterSint7: WHV_REGISTER_NAME;