Função ExFreePoolWithTag (wdm.h)
A rotina ExFreePoolWithTag desaloca um bloco de memória de pool alocado com a marca especificada.
Sintaxe
void ExFreePoolWithTag(
[in] PVOID P,
[in] ULONG Tag
);
Parâmetros
[in] P
Especifica o endereço inicial de um bloco de memória de pool alocado por ExAllocatePoolWithTag ou ExAllocatePoolWithQuotaTag.
[in] Tag
Especifica o valor da marca passado para ExAllocatePoolWithTag ou ExAllocatePoolWithQuotaTag quando o bloco de memória foi originalmente alocado.
A marca é um literal de caractere diferente de zero de um a quatro caracteres delimitado por aspas simples (por exemplo, 'Tag1'). A cadeia de caracteres geralmente é especificada em ordem inversa (por exemplo, '1gaT'). Cada caractere ASCII na marca deve ser um valor no intervalo 0x20 (espaço) para 0x7E (bloco). Cada caminho de código de alocação deve usar uma marca de pool exclusiva para ajudar os depuradores e verificadores a identificar o caminho do código.
Valor de retorno
Nenhum
Observações
Os chamadores de ExFreePoolWithTag devem estar em execução no IRQL <= DISPATCH_LEVEL. Um chamador no DISPATCH_LEVEL deve ter especificado um PoolType xxx quando a memória foi alocada. Caso contrário, o chamador deverá estar em execução no IRQL <= APC_LEVEL.
Requisitos
| Requisito | Valor |
|---|---|
| de cliente com suporte mínimo | Disponível a partir do Windows 2000. |
| da Plataforma de Destino | Universal |
| cabeçalho | wdm.h (include Wdm.h, Ntddk.h, Ntifs.h) |
| biblioteca | NtosKrnl.lib |
| de DLL | NtosKrnl.exe |
| IRQL | <= DISPATCH_LEVEL (consulte a seção Comentários) |
| regras de conformidade de DDI | IrqlExFree1(wdm), IrqlExFree2(wdm), IrqlExFree3(wdm) |