Constant WHvTriggerTypeDeviceInterrupt 

pub const WHvTriggerTypeDeviceInterrupt: WHV_TRIGGER_TYPE;