VOID __stdcall ExpSvmFaultRoutine(UINT64 Index){
__int64 v1;
v1 = 104i64 * (unsigned int)Index;
if( !_InterlockedCompareExchange((volatile signed __int32 *)(v1 + ExpSvmWorkQueues + 96), 1, 0) )
KiInsertQueueDpc((_KDPC *)(v1 + ExpSvmWorkQueues + 32), 0i64, 0i64, 0i64, 0);
}