Constant WHvRegisterSint11 

pub const WHvRegisterSint11: WHV_REGISTER_NAME;