Constant WHvRegisterSint12

pub const WHvRegisterSint12: WHV_REGISTER_NAME;