Constant WHvRegisterSint0 

pub const WHvRegisterSint0: WHV_REGISTER_NAME;