Constant WHvRegisterPendingEvent1 

pub const WHvRegisterPendingEvent1: WHV_REGISTER_NAME;