Searched refs:InterruptionType (Results 1 – 11 of 11) sorted by relevance
731 new_int.InterruptionType = WHvX64PendingNmi; in whpx_vcpu_pre_run()762 new_int.InterruptionType = WHvX64PendingInterrupt; in whpx_vcpu_pre_run()
733 new_int.InterruptionType = WHvX64PendingNmi; in whpx_vcpu_pre_run()764 new_int.InterruptionType = WHvX64PendingInterrupt; in whpx_vcpu_pre_run()
799 new_int.InterruptionType = WHvX64PendingNmi; in whpx_vcpu_pre_run()830 new_int.InterruptionType = WHvX64PendingInterrupt; in whpx_vcpu_pre_run()
795 new_int.InterruptionType = WHvX64PendingNmi; in whpx_vcpu_pre_run()826 new_int.InterruptionType = WHvX64PendingInterrupt; in whpx_vcpu_pre_run()
804 new_int.InterruptionType = WHvX64PendingNmi; in whpx_vcpu_pre_run()836 new_int.InterruptionType = WHvX64PendingInterrupt; in whpx_vcpu_pre_run()
568 UINT32 InterruptionType:3; member