HvlpWriteEventLog

VOID __stdcall HvlpWriteEventLog(
        EVENT_DESCRIPTOR *EventDescriptor,
        UINT64 UserDataCount,
        EVENT_DATA_DESCRIPTOR *UserData){
  UINT64 UserDataCounta; 
  if( HvlGlobalSystemEventsHandle )
  {
    LODWORD(UserDataCounta) = UserDataCount;
    EtwWriteEx(HvlGlobalSystemEventsHandle, EventDescriptor, 0i64, 0i64, 0i64, 0i64, UserDataCounta, UserData);
  }
}

Referenced by:

HvlPhase2Initialize
HvlpCheckTscSync
HvlpLogGuestStateScrubbingStatus
HvlpLogHypervisorLaunchError
HvlpLogHypervisorSchedulerType
HvlpLogIommuEvent
HvlpLogIommuInitStatus
HvlpLogProcessorStartupFailure