IV_GET_PIL_NEXT
next = IV_GET_PIL_NEXT(next, cpu_id);
intr_vec_t *next_iv = IV_GET_PIL_NEXT(next, cpu_id);