Constant WHvRegisterScontrol 

pub const WHvRegisterScontrol: WHV_REGISTER_NAME;