Symbol: __alloc_iova