void *__fastcall PiClearDeviceObjectList(_DWORD *a1){
__int64 i;
void *result;
for( i = 0i64; (unsigned int)i < *a1; i = (unsigned int)(i + 1) )
ObfDereferenceObjectWithTag(*(PVOID *)&a1[6 * i + 4], 0x4C706E50ui64);
result = (void *)memset((INT64)(a1 + 4), 0i64);
*a1 = 0;
a1[2] = 0;
return result;
}