VOID __fastcall IopDebugPrint(UINT64 Level, CHAR *Format){
__int64 v2;
__int64 v3;
__int64 v4;
__int64 v5;
v4 = v2;
v5 = v3;
vDbgPrintExWithPrefixInternal((INT8 *)"NTOSPNP:", 0x20ui64, (unsigned int)Level, Format, (INT8 *)&v4, 1u);
}