Symbol: check_iova