__int64 __fastcall PiDrvDbUnloadNodeReset(__int64 a1){
UINT64 *v1;
unsigned __int64 v3;
__int64 result;
v1 = (UINT64 *)(a1 + 424);
v3 = (unsigned __int8)KeAcquireSpinLockRaiseToDpc((UINT64 *)(a1 + 424));
*(_BYTE *)(a1 + 432) = 0;
KxReleaseSpinLock(v1);
result = (unsigned int)KiIrqlFlags;
__writecr8(v3);
return result;
}