Constant WHvRegisterSint15

pub const WHvRegisterSint15: WHV_REGISTER_NAME;