Symbol: gnttab_batch_map