!amli set
A extensão !amli set define ou exibe as opções do Depurador AMLI.
!amli set Options
Parâmetros
Opções Especifica uma ou mais opções a serem definidas. Separe várias opções com espaços. Os valores possíveis incluem:
vomiton
Faz com que a saída de depuração completa seja enviada do computador de destino. Essa opção deve ser deixada ativada o tempo todo para uma depuração AML eficaz. Consulte a seção Comentários para obter detalhes.
vomitoff
Suprime a saída de depuração.
verboseon
Ativa o modo detalhado. Isso faz com que o Depurador AMLI exiba os nomes dos métodos AML conforme eles são avaliados.
verboseoff
Desativa o modo detalhado.
Traceon
Ativa o rastreamento de ACPI. Isso produz muito mais saída do que a opção verboseon . Essa opção é muito útil para acompanhar travas rígidas relacionadas a SMI.
traceoff
Desativa o rastreamento de ACPI.
nesttraceon
Ativa o rastreamento de aninhamento. Essa opção só será eficaz se a opção traceon também estiver selecionada.
dbgbrkon
Habilita a invasão ao Depurador AMLI.
dbgbrkoff
Desativa a opção dbgbrkon.
nesttraceoff
Desativa o rastreamento de aninhamento.
lbrkon
Entra no Depurador AMLI quando o carregamento do DDB é concluído.
lbrkoff
Desativa a opção lbrkon .
errbrkon
Entra no Depurador AMLI sempre que o interpretador tem um problema ao avaliar o código AML.
errbrkoff
Desativa a opção errbrkon .
logon
Habilita o log de eventos.
logoff
Desabilita o log de eventos.
logmuton
Habilita o registro em log de eventos mutex.
logmutoff
Desabilita o registro em log de eventos mutex.
DLL
Kdexts.dll
Informações adicionais
Para obter informações sobre comandos relacionados e seus usos, consulte O Depurador AMLI.
Comentários
Se nenhuma opção for especificada, o status atual de todas as opções será exibido.
Por padrão, muitas mensagens são filtradas, talvez seja necessário ativar essa saída com !amli set vomiton. Caso contrário, várias mensagens do Depurador AMLI serão perdidas.
Se o interpretador de AML for dividido no Depurador AMLI, essa saída será ativada automaticamente.
Para obter mais detalhes sobre essa filtragem de saída, consulte DbgPrintEx e KdPrintEx na documentação do WDK (Windows Driver Kit).