pub extern "C" fn tlb_shootdown_ipi_handler()
IPI handler for TLB shootdown (called on receiving CPU).