Funzione ExFreePoolWithTag (wdm.h)
La routine ExFreePoolWithTag dealloca un blocco di memoria del pool allocato con il tag specificato.
Sintassi
void ExFreePoolWithTag(
[in] PVOID P,
[in] ULONG Tag
);
Parametri
[in] P
Specifica l'indirizzo iniziale di un blocco di memoria del pool allocato da ExAllocatePoolWithTag o ExAllocatePoolWithQuotaTag.
[in] Tag
Specifica il valore del tag passato a ExAllocatePoolWithTag o ExAllocatePoolWithQuotaTag quando il blocco di memoria è stato originariamente allocato.
Il tag è un valore letterale di carattere diverso da zero a uno a quattro caratteri delimitati da virgolette singole,ad esempio 'Tag1'. La stringa viene in genere specificata in ordine inverso, ad esempio '1gaT'. Ogni carattere ASCII nel tag deve essere un valore nell'intervallo 0x20 (spazio) per 0x7E (tilde). Ogni percorso del codice di allocazione deve usare un tag di pool univoco per aiutare i debugger e i verificatori a identificare il percorso del codice.
Valore restituito
nessuno
Osservazioni
I chiamanti di ExFreePoolWithTag devono essere in esecuzione in IRQL <= DISPATCH_LEVEL. Un chiamante in DISPATCH_LEVEL deve avere specificato un PoolTypeNonPagedXxx quando la memoria è stata allocata. In caso contrario, il chiamante deve essere in esecuzione in IRQL <= APC_LEVEL.
Requisiti
| Requisito | Valore |
|---|---|
| Client minimo supportato | Disponibile a partire da Windows 2000. |
| Piattaforma di destinazione | Universale |
| Intestazione | wdm.h (include Wdm.h, Ntddk.h, Ntifs.h) |
| Libreria | NtosKrnl.lib |
| DLL | NtosKrnl.exe |
| IRQL | <= DISPATCH_LEVEL (vedere sezione Osservazioni) |
| Regole di conformità DDI | IrqlExFree1(wdm), IrqlExFree2(wdm), IrqlExFree3(wdm) |