Constant WHvRegisterSint4 

pub const WHvRegisterSint4: WHV_REGISTER_NAME;