Constant WHvRegisterSint13

pub const WHvRegisterSint13: WHV_REGISTER_NAME;