Constant WHvRegisterSiefp 

pub const WHvRegisterSiefp: WHV_REGISTER_NAME;