IPI_DYN_LAST
if (vec >= IPI_DYN_FIRST && vec <= IPI_DYN_LAST) {
void (*fred_ipi_handlers[IPI_DYN_LAST - IPI_DYN_FIRST + 1])(struct trapframe *);
for (idx = IPI_DYN_FIRST; idx <= IPI_DYN_LAST; idx++) {
KASSERT(vector >= IPI_DYN_FIRST && vector <= IPI_DYN_LAST,