CHAR *__stdcall ViCtxAllocateIsrContext(INT64 a1, INT64 a2, INT64 a3){
CHAR *result;
result = (CHAR *)ExAllocatePoolWithTag(0x200ui64, 0x18ui64, 1920158038i64);
if( result )
{
*(_QWORD *)result = a1;
*((_QWORD *)result + 1) = a2;
*((_QWORD *)result + 2) = a3;
}
return result;
}