NTSTATUS __stdcall HalpDispatchWmi(DEVICE_OBJECT *DeviceObject, IRP *Irp){
NTSTATUS v2;
if( **((_DWORD **)DeviceObject + 8) == 193 )
return HalpPassIrpFromFdoToPdo(DeviceObject, Irp);
v2 = *((_DWORD *)Irp + 12);
IofCompleteRequest(Irp, 0);
return v2;
}