Constant WHvRegisterSint15 

pub const WHvRegisterSint15: WHV_REGISTER_NAME;