Constant WHvRegisterSint1

pub const WHvRegisterSint1: WHV_REGISTER_NAME;