Searched refs:WHvRegisterPendingEvent (Results 1 – 7 of 7) sorted by relevance
471 WHvRegisterPendingEvent = 0x80000002, enumerator
854 reg_names[reg_count] = WHvRegisterPendingEvent; in whpx_vcpu_pre_run()
1745 pub const WHvRegisterPendingEvent: WHV_REGISTER_NAME = -2147483646i32; const
3881 pub const WHvRegisterPendingEvent: WHV_REGISTER_NAME = WHV_REGISTER_NAME(-2147483646i32); const