Constant WHvX64PendingEventExtInt 

pub const WHvX64PendingEventExtInt: WHV_X64_PENDING_EVENT_TYPE;