IPI_DYN_LAST
for (idx = IPI_DYN_FIRST; idx <= IPI_DYN_LAST; idx++) {
KASSERT(vector >= IPI_DYN_FIRST && vector <= IPI_DYN_LAST,