Constant WHvRegisterSint14 

pub const WHvRegisterSint14: WHV_REGISTER_NAME;