Constant WHvRegisterGuestOsId 

pub const WHvRegisterGuestOsId: WHV_REGISTER_NAME;