PpmEventBiosCapChange

char __fastcall PpmEventBiosCapChange(__int64 a1, int a2){
  EVENT_DESCRIPTOR *EventDescriptorAndProcessorId; 
  EVENT_DESCRIPTOR *v3; 
  EVENT_DESCRIPTOR *v4; 
  UINT64 v5; 
  UINT64 UserDataCount; 
  int v8; 
  EVENT_DATA_DESCRIPTOR UserData; 
  int *v10; 
  int v11; 
  int v12; 
  int v13; 
  v13 = a2;
  v8 = 0;
  EventDescriptorAndProcessorId = (EVENT_DESCRIPTOR *)PpmEventGetEventDescriptorAndProcessorId(
                                                        a1,
                                                        (INT64)&PPM_ETW_BIOS_CAP_CHANGE,
                                                        (INT64)&PPM_ETW_BIOS_CAP_CHANGE_HV,
                                                        (INT64)&v8,
                                                        (INT64)&UserData);
  v4 = EventDescriptorAndProcessorId;
  if( PpmEtwRegistered )
  {
    v5 = PpmEtwHandle;
    LOBYTE(EventDescriptorAndProcessorId) = EtwEventEnabled(PpmEtwHandle, EventDescriptorAndProcessorId, v3);
    if( (_BYTE)EventDescriptorAndProcessorId )
    {
      v12 = 0;
      v10 = &v13;
      v11 = 4;
      LODWORD(UserDataCount) = 2;
      LOBYTE(EventDescriptorAndProcessorId) = EtwWriteEx(v5, v4, 0i64, 0i64, 0i64, 0i64, UserDataCount, &UserData);
    }
  }
  return(char)EventDescriptorAndProcessorId;
}

Referenced by: