Constant WHvRegisterSint10 

pub const WHvRegisterSint10: WHV_REGISTER_NAME;