IST_MAX
u_int8_t ii_ist_vectors[IST_MAX+1];
[IST_MAX] = UC_CHIP ## _EXTERNALSOURCES \
if (ist <= IST_NONE || ist >= IST_MAX) {
__CTASSERT(__arraycount(ist_names) == IST_MAX);
if (IST_NONE <= ist && ist < IST_MAX)
KASSERT(ist > IST_NONE && ist < IST_MAX && ist != IST_MSI);