SYSASIC_EVENT_MAX
KDASSERT(event >= 0 && event <= SYSASIC_EVENT_MAX);
KDASSERT(event >= 0 && event <= SYSASIC_EVENT_MAX);
KDASSERT(event >= 0 && event <= SYSASIC_EVENT_MAX);
#define SYSASIC_EVENT_NMAP ((SYSASIC_EVENT_MAX + 1 + (32 - 1)) / 32)
} sysasic_eventhand[SYSASIC_EVENT_MAX + 1];