Symbol: invalidate_itlb_mapping