pub const WHvX64PendingEventExtInt: WHV_X64_PENDING_EVENT_TYPE = 5i32;