Symbol: ipi_bitmap_handler