Constant WHvRegisterSint5 

pub const WHvRegisterSint5: WHV_REGISTER_NAME;