Constant WHvRegisterSint9 

pub const WHvRegisterSint9: WHV_REGISTER_NAME;