Constant WHvRegisterPendingEvent 

pub const WHvRegisterPendingEvent: WHV_REGISTER_NAME;