Função ExFreePoolWithTag (wdm.h)
A rotina ExFreePoolWithTag desaloca um bloco de memória do 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 (til). 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.
Retornar valor
Nenhum
Comentários
Os chamadores de ExFreePoolWithTag devem estar em execução em IRQL <= DISPATCH_LEVEL. Um chamador no DISPATCH_LEVEL deve ter especificado um PoolTypeXxxNãoPaged quando a memória foi alocada. Caso contrário, o chamador deve estar em execução em IRQL <= APC_LEVEL.
Requisitos
Requisito | Valor |
---|---|
Cliente mínimo com suporte | Disponível a partir do Windows 2000. |
Plataforma de Destino | Universal |
Cabeçalho | wdm.h (include Wdm.h, Ntddk.h, Ntifs.h) |
Biblioteca | NtosKrnl.lib |
DLL | NtosKrnl.exe |
IRQL | <= DISPATCH_LEVEL (consulte a seção Comentários) |
Regras de conformidade da DDI | IrqlExFree1(wdm), IrqlExFree2(wdm), IrqlExFree3(wdm) |