NTSTATUS __fastcall WdiDispatchControl(UINT64 *a1){
NTSTATUS result;
_GUID ProviderGuid;
ProviderGuid = 0i64;
if( !a1 )
return -1073741811;
result = EtwGetProviderIdFromHandle(*(unsigned int *)a1, 1, &ProviderGuid);
if( result >= 0 )
return WdipStartEndScenario(
&ProviderGuid,
(const _GUID *)(a1 + 3),
(const _EVENT_DESCRIPTOR *)(a1 + 1),
*((unsigned int *)a1 + 10));
return result;
}