VOID __stdcall PiClearDeviceObjectList(_DEVICE_OBJECT_LIST *List){
__int64 i;
for( i = 0i64; (unsigned int)i < List->Count; i = (unsigned int)(i + 1) )
ObfDereferenceObjectWithTag(List->Devices[i].DeviceObject, 0x4C706E50ui64);
memset(List->Devices, 0i64, 24 * List->MaxCount);
List->Count = 0;
List->TagCount = 0;
}