Constant WHvRegisterDeliverabilityNotifications 

pub const WHvRegisterDeliverabilityNotifications: WHV_REGISTER_NAME;