ipi_bitmap_handler
ipi_bitmap_handler(&frame);
void ipi_bitmap_handler(struct trapframe *frame);
ipi_bitmap_handler(curthread->td_intr_frame);