UINT64 __stdcall IopDebugPrint(UINT64 Level, INT8 *Format){
__int64 v2;
__int64 v3;
unsigned int v4;
__int64 v6;
__int64 v7;
v6 = v2;
v7 = v3;
v4 = Level;
vDbgPrintExWithPrefixInternal((INT8 *)"NTOSPNP:", 0x20ui64, (unsigned int)Level, Format, (INT8 *)&v6, 1u);
return v4;
}