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.