ASL_NUM_REPORT_LEVELS
UINT32 Gbl_ExceptionCount[ASL_NUM_REPORT_LEVELS] = {0,0,0,0,0,0};
extern UINT32 Gbl_ExceptionCount[ASL_NUM_REPORT_LEVELS];
const char *AslErrorLevel [ASL_NUM_REPORT_LEVELS] = {
const char *AslErrorLevelIde [ASL_NUM_REPORT_LEVELS] = {
for (i = 0; i < ASL_NUM_REPORT_LEVELS; i++)