Symbol: gnttab_batch_copy