LIST_ENTRY *__stdcall PiGetProviderList(DEVICE_OBJECT *DeviceObject){
LIST_ENTRY *v1;
if( DeviceObject )
v1 = *(LIST_ENTRY **)(*((_QWORD *)DeviceObject + 39) + 80i64);
else
v1 = 0i64;
if( v1 )
return v1 + 1;
else
return(LIST_ENTRY *)&PiDependencyNodeEmptyList;
}