Constant WHvNotificationPortTypeEvent 

pub const WHvNotificationPortTypeEvent: WHV_NOTIFICATION_PORT_TYPE;