Constant WHvRegisterSint13 

pub const WHvRegisterSint13: WHV_REGISTER_NAME;