Searched refs:WHvX64InterruptTypeInit (Results 1 – 7 of 7) sorted by relevance
923 WHvX64InterruptTypeInit = 5, enumerator
1053 ipi.Type = WHvX64InterruptTypeInit; in whpx_vcpu_run()
1101 pub const WHvX64InterruptTypeInit: WHV_INTERRUPT_TYPE = 5i32; const
2677 pub const WHvX64InterruptTypeInit: WHV_INTERRUPT_TYPE = WHV_INTERRUPT_TYPE(5i32); const