Constant WHvX64RegisterDeliverabilityNotifications 

pub const WHvX64RegisterDeliverabilityNotifications: WHV_REGISTER_NAME = -2147483644i32;