Symbol: acrn_ioreq_range