Constant WHvRegisterSint12 

pub const WHvRegisterSint12: WHV_REGISTER_NAME;