Constant WHvRegisterSint6 

pub const WHvRegisterSint6: WHV_REGISTER_NAME;