Symbol: vmtransfer_page_range