Constant WHvX64InterruptTypeSipi 

pub const WHvX64InterruptTypeSipi: WHV_INTERRUPT_TYPE;