Constant WHvRegisterSint1 

pub const WHvRegisterSint1: WHV_REGISTER_NAME;