Constant WHvX64InterruptTypeLocalInt1 

pub const WHvX64InterruptTypeLocalInt1: WHV_INTERRUPT_TYPE;