apix_interrupt_ipi_dump
apix_interrupt_ipi_dump(&apix_vector, &av, NULL);
void apix_interrupt_ipi_dump(apix_vector_t *, struct autovec *,