IommuHvDevicePowerChange

NTSTATUS __stdcall IommuHvDevicePowerChange(INT64 a1, INT64 a2, UINT8 a3){
  INT64 v3; 
  void *BugCheckParameter4; 
  __int64 v5; 
  int v6; 

  v3 = a2;
  BugCheckParameter4 = (void *)a3;
  if( qword_140C4A280 )
  {
    v5 = *(unsigned int *)(a2 + 40);
    LOBYTE(a2) = a3;
    v6 = qword_140C4A280(v5, a2);
    if( v6 == 3473497 )
      KeBugCheckEx(
        0x159u,
        (PVOID)0x3002,
        (PVOID)*(unsigned int *)(v3 + 40),
        (PVOID)(unsigned int)BugCheckParameter4,
        0i64);
    if( v6 < 0 )
      KeBugCheckEx(0x159u, (PVOID)0x3201, (PVOID)v6, (PVOID)*(unsigned int *)(v3 + 40), BugCheckParameter4);
  }
  return 0;
}

Referenced by: