Constant WHvX64InterruptTypeNmi 

pub const WHvX64InterruptTypeNmi: WHV_INTERRUPT_TYPE;