pub const WHvX64InterruptTypeInit: WHV_INTERRUPT_TYPE = 5i32;