Constant WHvX64RegisterDeliverabilityNotifications 

pub const WHvX64RegisterDeliverabilityNotifications: WHV_REGISTER_NAME;