ASL_MAX_DISABLED_MESSAGES
ASL_MAX_DISABLED_MESSAGES);
if (Gbl_DisabledMessagesIndex >= ASL_MAX_DISABLED_MESSAGES)
ASL_MAX_DISABLED_MESSAGES);
ASL_EXTERN UINT32 Gbl_DisabledMessages[ASL_MAX_DISABLED_MESSAGES];