Supporto di file speciali

I file speciali includono file di paging, file di dump e file di ibernazione. Se il dispositivo di destinazione per il driver è un dispositivo di archiviazione che il sistema potrebbe usare per questi file, il driver deve eseguire le operazioni seguenti:

• Chiamare WdfDeviceSetSpecialFileSupport per abilitare o disabilitare il supporto per ogni tipo di file speciale. Il supporto di ogni driver per file speciali è disabilitato per impostazione predefinita.

  Un driver del bus che enumera i dispositivi figlio deve anche chiamare WdfDeviceSetSpecialFileSupport per ogni dispositivo figlio che può supportare file speciali.

• Chiamare WdfDeviceAddDependentUsageDeviceObject, se un dispositivo dipende da un altro dispositivo quando supporta file speciali.

• Facoltativamente, specificare una funzione di callback EvtDeviceUsageNotification o (a partire da KMDF 1.11) EvtDeviceUsageNotificationEx , in modo che il driver venga avvisato quando viene creato o rimosso un file speciale.

Se il driver chiama WdfDeviceSetSpecialFileSupport per un dispositivo e se un file speciale è aperto nel dispositivo, il framework non consente alla gestione PnP di rimuovere o arrestare il dispositivo.

Dopo che un driver ha chiamato WdfDeviceAddDependentUsageDeviceObject, può chiamare WdfDeviceRemoveDependentUsageDeviceObject per rimuovere la dipendenza di un dispositivo in un altro dispositivo.