Constant WHvTriggerTypeInterrupt 

pub const WHvTriggerTypeInterrupt: WHV_TRIGGER_TYPE;